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 条
  • [41] A semantic model of a small typed functional language using Object-Z
    Tan, WK
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 249 - 257
  • [42] MULTIPLE VIEWS OF AN EXECUTABLE SOFTWARE SPECIFICATION LANGUAGE
    TUNG, Y
    KHWAJA, AA
    URBAN, JE
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 305 - 319
  • [43] UMIST OBJ - A LANGUAGE FOR EXECUTABLE PROGRAM SPECIFICATIONS
    GALLIMORE, RM
    COLEMAN, D
    STAVRIDOU, V
    COMPUTER JOURNAL, 1989, 32 (05): : 413 - 421
  • [44] Should your specification language be typed?
    Lamport, L
    Paulson, LC
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (03): : 502 - 526
  • [45] Ptolemy: A language with quantified, typed events
    Rajan, Hridesh
    Leavens, Gary T.
    ECOOP 2008 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2008, 5142 : 155 - +
  • [46] A CHARACTERIZATION OF TYPED TERMS IN AN APPLICATIVE LANGUAGE
    GIOVANNETTI, E
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1983, 296 (01): : 97 - 99
  • [47] Formal Executable Theory of Multilevel Modeling
    Balaban, Mira
    Khitron, Igal
    Kifer, Michael
    Maraee, Azzam
    ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018, 2018, 10816 : 391 - 406
  • [48] Typed Embedding of a Relational Language in OCaml
    Kosarev, Dmitrii
    Boulytchev, Dmitry
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (285): : 1 - 22
  • [49] Generating Executable Scenarios from Natural Language
    Gordon, Michal
    Harel, David
    COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING, 2009, 5449 : 456 - 467
  • [50] Executable specification language for parallel symbolic computation
    Godlevsky, AB
    Hluchy, L
    EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 754 - 757
12345