A tool for a formal pattern modeling language

被引：0
|
作者：
Kim, Soon-Kyeong [1 ]
Carrington, David [1 ]
机构：
[1] School of Information Technology and Electrical Engineering, University of Queensland, 4072, Australia
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2006年 / 4260 LNCS卷
关键词：
D O I：
10.1007/11901433_31
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：568 / 587
相关论文
共 50 条
  • [1] A tool for a formal pattern modeling language
    Kim, Soon-Kyeong
    Carrington, David
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 568 - +
  • [2] A Formal Language of Pattern Compositions
    Bayley, Ian
    Zhu, Hong
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCES ON PERVASIVE PATTERNS AND APPLICATIONS (PATTERNS 2010), 2010, : 1 - 6
  • [3] Involving Business Users in Formal Modeling Using Natural Language Pattern Sentences
    van Grondelle, Jeroen
    Heller, Ronald
    van Haandel, Emiel
    Verburg, Tim
    KNOWLEDGE ENGINEERING AND MANAGEMENT BY THE MASSES, EKAW 2010, 2010, 6317 : 31 - 43
  • [4] A formal pattern language for refactoring of Lisp programs
    Leitao, AM
    SIXTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2002, : 186 - 192
  • [5] Formal semantics for the Java modeling language
    Bruns, Daniel
    Informatik-Spektrum, 2012, 35 (01) : 45 - 49
  • [6] Syntactic language modeling with formal grammars
    Kaufmann, Tobias
    Pfister, Beat
    SPEECH COMMUNICATION, 2012, 54 (06) : 715 - 731
  • [7] Forge: A Tool and Language for Teaching Formal Methods
    Nelson, Tim
    Greenman, Ben
    Prasad, Siddhartha
    Dyer, Tristan
    Bove, Ethan
    Chen, Qianfan
    Cutting, Charles
    Del Vecchio, Thomas
    Levine, Sidney
    Rudner, Julianne
    Ryjikov, Ben
    Varga, Alexander
    Wagner, Andrew
    West, Luke
    Krishnamurthi, Shriram
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
  • [8] A Formal Modeling Tool for Exploratory Modeling in Software Development
    Oda, Tomohiro
    Araki, Keijiro
    Larsen, Peter Gorm
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017, E100D (06): : 1210 - 1217
  • [9] Systematic adaptation and investigation of the understandability of a formal pattern language
    Henkel, Elisabeth
    Hauff, Nico
    Langenfeld, Vincent
    Eber, Lukas
    Podelski, Andreas
    REQUIREMENTS ENGINEERING, 2024, 29 (01) : 3 - 23
  • [10] Systematic adaptation and investigation of the understandability of a formal pattern language
    Elisabeth Henkel
    Nico Hauff
    Vincent Langenfeld
    Lukas Eber
    Andreas Podelski
    Requirements Engineering, 2024, 29 : 3 - 23
12345