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 条
  • [21] APPLICATION OF FORMAL LANGUAGE AND AUTOMATA THEORY TO PATTERN-RECOGNITION
    MYLOPOULOS, J
    PATTERN RECOGNITION, 1972, 4 (01) : 37 - +
  • [22] A formal description of XML tree pattern query for XQuery language
    Liao, Husheng
    Li, Xiaoqing
    Su, Hang
    International Journal of Database Theory and Application, 2014, 7 (05): : 171 - 186
  • [23] A Pattern Language for Value Modeling in ArchiMate
    Sales, Tiago Prince
    Roelens, Ben
    Poels, Geert
    Guizzardi, Giancarlo
    Guarino, Nicola
    Mylopoulos, John
    ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 230 - 245
  • [24] A pattern language tool on Real Time Innovation
    Weber, Christina
    PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), 2019,
  • [25] FORMAL FRAMEWORK FOR THE DEVS-DRIVEN MODELING LANGUAGE
    Ighoroje, Ufuoma Bright
    Maiga, Oumar
    Traore, Mamadou Kaba
    23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 669 - 674
  • [26] A Tool for Automatic Formal Modeling of Railway Interlocking Systems
    Oz, Muhammed Ali Nur
    Sener, Ibrahim
    Kaymakci, Ozgur Turay
    Ustoglu, Ilker
    Cansever, Galip
    IEEE EUROCON 2015 - INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL (EUROCON), 2015, : 26 - 29
  • [27] A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
    Kelsen, Pierre
    Ma, Qin
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5301 : 690 - 704
  • [28] FORMAL SEMANTICS AND ABSTRACT PROPERTIES OF STRING PATTERN OPERATIONS AND EXTENDED FORMAL LANGUAGE DESCRIPTION MECHANISMS
    FLECK, AC
    LIMAYE, RS
    SIAM JOURNAL ON COMPUTING, 1983, 12 (01) : 166 - 188
  • [29] Formal Definition of a General Ontology Pattern Language using a Graph Grammar
    Zambon, Eduardo
    Guizzardi, Giancarlo
    PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 1 - 10
  • [30] AN HCPN PATTERN FOR RAILWAY SAFETY CRITICAL SCENARIOS FORMAL MODELING
    Boudi, Zakaryae
    El Koursi, El Miloudi
    Collart-Dutilleul, Simon
    PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE, 2015, 2015,
12345