Evolutionary development model supporting executable specification

被引：0
|
作者：
Wu, Ming-Hui [1 ]
Ying, Jing [1 ]
He, Zhi-Jun [1 ]
机构：
[1] Dept. of Comp. Sci. and Eng., Zhejiang Univ., Hangzhou 310027, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2000年 / 11卷 / 11期
关键词：
Executable specifications;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1505 / 1509
相关论文
共 50 条
  • [21] Approach for generating Petri net executable model based on physical exchange specification of architecture
    Fu J.
    Luo A.
    Luo X.
    Liu J.
    1600, Chinese Institute of Electronics (39): : 1030 - 1035
  • [22] System Integration Supporting Evolutionary Development and Design
    Spexard, Thorsten P.
    Hanheide, Marc
    HUMAN CENTERED ROBOT SYSTEMS: COGNITION, INTERACTION, TECHNOLOGY, 2009, 6 : 1 - 9
  • [23] Executable Formal Specification and Validation of NoC Communication Infrastructures
    Borrione, Dominique
    Helmy, Amr
    Pierre, Laurence
    Schmaltz, Julien
    SBCCI 2008: 21ST SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2008, : 176 - 181
  • [24] An executable specification language based on message sequence charts
    Roychoudhury, A
    Thiagarajan, PS
    FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 226 - 241
  • [25] A formal and executable specification of the Internet open trading protocol
    Ouyang, C
    Kristensen, LM
    Billington, J
    E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS, 2002, 2455 : 377 - 387
  • [26] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
    BELKHOUCHE, B
    URBAN, JE
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
  • [27] SALIENT FEATURES OF AN EXECUTABLE SPECIFICATION LANGUAGE AND ITS ENVIRONMENT
    ZAVE, P
    SCHELL, W
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 312 - 325
  • [28] Executable specification formalism representing abstract data types
    Technical Univ of Budapest, Budapest, Hungary
    Period Polytech Electr Eng, 2 (85-100):
  • [29] NUSL - AN EXECUTABLE SPECIFICATION LANGUAGE BASED ON DATA ABSTRACTION
    JIANG, XJ
    XU, YS
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 124 - 138
  • [30] An executable specification language for planning attacks to security protocols
    Aiello, LC
    Massacci, F
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 88 - 102
12345