MODEL INTEGRATION WITH A TYPED EXECUTABLE MODELING LANGUAGE

被引：0
|
作者：
BRADLEY, GH
CLEMENCE, RD
机构：
来源：
PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK | 1988年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：403 / 410
页数：8
相关论文
共 50 条
  • [31] Executable object modeling with statecharts
    Harel, D
    Gery, E
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 246 - 257
  • [32] Executable Semantics of Ethereum Intermediate Language
    Han N.
    Li X.-M.
    Zhang Q.-Y.
    Wang G.-H.
    Shi Z.-P.
    Guan Y.
    Ruan Jian Xue Bao/Journal of Software, 2021, 32 (06): : 1717 - 1732
  • [33] On the Integration of Automatic Deployment into the ABS Modeling Language
    de Gouw, Stijn
    Lienhardt, Michael
    Mauro, Jacopo
    Nobakht, Behrooz
    Zavattaro, Gianluigi
    SERVICE ORIENTED AND CLOUD COMPUTING, ESOCC 2015, 2015, 9306 : 49 - 64
  • [34] xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems
    Guan, Chunlin
    Ao, Yi
    Du, Dehui
    Mallet, Frederic
    2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 683 - 687
  • [35] Executable System Architecting Using Systems Modeling Language in Conjunction with Colored Petri Nets in a Model-Driven Systems Development Process
    Wang, Renzhong
    Dagli, Cihan H.
    SYSTEMS ENGINEERING, 2011, 14 (04) : 383 - 409
  • [36] A framework for executable enterprise application integration patterns
    Scheibler, Thorsten
    Leymann, Frank
    ENTERPRISE INTEROPERABILITY III: NEW CHALLENGES AND INDUSTRIAL APPROACHES, 2008, : 485 - 497
  • [37] Integration of utterance verification with statistical language modeling and spoken language understanding
    Rose, RC
    Yao, H
    Riccardi, G
    Wright, J
    PROCEEDINGS OF THE 1998 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING, VOLS 1-6, 1998, : 237 - 240
  • [38] Integration of utterance verification with statistical language modeling and spoken language understanding
    Rose, RC
    Yao, H
    Riccardi, G
    Wright, J
    SPEECH COMMUNICATION, 2001, 34 (04) : 321 - 331
  • [39] A Dependently Typed Language with Dynamic Equality
    Lemay, Mark
    Fu, Qiancheng
    Blair, William
    Zhang, Cheng
    Xi, Hongwei
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT, TYDE 2023, 2023, : 44 - 57
  • [40] DYNAMIC TYPING IN A STATICALLY TYPED LANGUAGE
    ABADI, M
    CARDELLI, L
    PIERCE, B
    PLOTKIN, G
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1991, 13 (02): : 237 - 268
12345