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 条
  • [1] A collaborative visual development environment to support executable specification
    Chen, X
    Ying, J
    He, ZJ
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 282 - 286
  • [2] An Executable Specification for SPARQL
    Bornea, Mihaela
    Dolby, Julian
    Fokoue, Achille
    Kementsietsidis, Anastasios
    Srinivas, Kavitha
    Vaziri, Mandana
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2016, PT II, 2016, 10042 : 298 - 305
  • [3] UML for executable specification
    Douglass, BP
    EDN, 2001, 46 (18) : 83 - +
  • [4] Database supporting evolutionary product model development for design
    Eastman, Charles
    Jeng, Tay Sheng
    Automation in construction, 1999, 8 (03): : 305 - 323
  • [5] EXECUTABLE SPECIFICATION OF STATIC SEMANTICS
    DESPEYROUX, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 215 - 233
  • [6] Executable protocol specification in ESL
    Clarke, E
    German, S
    Lu, Y
    Veith, H
    Wang, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2000, 1954 : 197 - 216
  • [7] An executable specification of a formal argumentation protocol
    Artikis, Alexander
    Sergot, Marek
    Pitt, Jeremy
    ARTIFICIAL INTELLIGENCE, 2007, 171 (10-15) : 776 - 804
  • [8] Study on the Framework of ASIP Executable Specification
    Zhu, Yong
    INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 : 1768 - 1772
  • [9] An executable specification language for specification understanding in object-oriented specification reuse
    Chou, SC
    Chen, JY
    Chung, CG
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (06) : 419 - 434
  • [10] An executable specification and verifier for relaxed memory order
    Park, SJ
    Dill, DL
    IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (02) : 227 - 235
12345