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 条
  • [41] A formal specification language and automatic modeling method of asset securitization contract
    Li, Yang
    Hu, Kai
    Li, Jie
    Lu, Kaixiang
    Ai, Yuan
    JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2024, 36 (08)
  • [42] KUPC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
    Qian, Jiaqi
    Zhang, Min
    Wang, Yi
    Ogata, Kazuhiro
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2019), 2019, 11424 : 299 - 305
  • [43] Modeling and language support for the management of pattern-bases
    Terrovitis, M
    Vassiliadis, P
    Skiadopoulos, S
    Bertino, E
    Catania, B
    Maddalena, A
    16TH INTERNATIONAL CONFERENCE ON SCIENTIFIC AND STATISTICAL DATABASE MANAGEMENT, PROCEEDINGS, 2004, : 265 - 274
  • [44] Towards a formal semantic base for the type models of the unified modeling language
    Larrondo-Petrie, MM
    France, RB
    Saksena, M
    Shroff, M
    FORMAL METHODS PACIFIC '97, 1997, : 124 - 141
  • [45] Modeling and language support for the management of pattern-bases
    Terrovitis, Manolis
    Vassiliadis, Panos
    Skiadopoulos, Spiros
    Bertino, Elisa
    Catania, Barbara
    Maddalena, Anna
    Rizzi, Stefano
    DATA & KNOWLEDGE ENGINEERING, 2007, 62 (02) : 368 - 397
  • [46] Modeling Trust in Enterprise Architecture: A Pattern Language for ArchiMate
    Amaral, Glenda
    Sales, Tiago Prince
    Guizzardi, Giancarlo
    Almeida, Joao Paulo A.
    Porello, Daniele
    PRACTICE OF ENTERPRISE MODELING, POEM 2020, 2020, 400 : 73 - 89
  • [47] Modeling Language and CASE Tool for Communication Board Customization
    Franco, Natalia M.
    Fidalgo, Robson N.
    Silva, Edson A.
    Cacalcante, Ticia F.
    Brito, Patrick H. S.
    2014 IEEE 16TH INTERNATIONAL CONFERENCE ON E-HEALTH NETWORKING, APPLICATIONS AND SERVICES (HEALTHCOM), 2014, : 335 - 340
  • [48] A Specification Language and a Modeling Tool for Spatial User Interaction
    Chaoui, Khadidja
    Bouzidi-Hassini, Sabrina
    Bellik, Yacine
    Karasad, Chabane
    Hamzaoui, Abderrahmane
    PROCEEDINGS OF THE 17TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (HUCAPP), VOL 2, 2022, : 225 - 232
  • [49] Information Systems Modeling: Language, Verification, and Tool Support
    Polyvyanyy, Artem
    van der Werf, Jan Martijn E. M.
    Overbeek, Sietse
    Brouwers, Rick
    ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 194 - 212
  • [50] Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain
    Filipovikj, Predrag
    Jagerfield, Trevor
    Nyberg, Mattias
    Rodriguez-Navas, Guillermo
    Seceleanu, Cristina
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC), VOL 2, 2016, : 167 - 173
12345