Specifications in software prototyping

被引：0
|
作者：
Naval Postgraduate Sch, Monterey, United States [1 ]
机构：
来源：
J Syst Software | / 2卷 / 125-140期
关键词：
Number:; -; Acronym:; NSF; Sponsor: National Science Foundation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Specifications in software prototyping
    Luqi
    SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 1996, : 189 - 197
  • [2] Specifications in software prototyping
    Luqi
    Chang, CK
    Zhu, H
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 42 (02) : 125 - 140
  • [3] PROTOTYPING SYSTEM FOR TELECOMMUNICATIONS SOFTWARE BASED ON ABSTRACT EXECUTION OF REQUIREMENTS SPECIFICATIONS
    WAKAHARA, Y
    ITO, A
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 13 (02): : 119 - 128
  • [4] Prototyping object oriented specifications
    Al-Shabibi, A
    Buchs, D
    Buffo, M
    Chachkov, S
    Chen, A
    Hurzeler, D
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 473 - 482
  • [5] Rapid prototyping using formal specifications
    Winikoff, M
    Dart, P
    Kazmierczak, E
    PROCEEDINGS OF THE 21ST AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC'98, 1998, 20 (01): : 279 - 293
  • [6] Interchanging specifications and implementations in evolutionary prototyping
    Ozcan, MB
    Siddiqi, J
    SOFTWARE-PRACTICE & EXPERIENCE, 1996, 26 (09): : 999 - 1023
  • [7] FORMAL SPECIFICATIONS, PROTOTYPING AND INTEGRATION TESTS
    CHOPPY, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 172 - 179
  • [8] ITERATION AND PROTOTYPING IN CREATING TECHNICAL SPECIFICATIONS
    FLYNT, JP
    JOURNAL OF TECHNICAL WRITING AND COMMUNICATION, 1994, 24 (01) : 57 - 66
  • [9] Distributed prototyping from validated specifications
    Hansel, D
    Cleaveland, R
    Smolka, SA
    JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 70 (03) : 275 - 298
  • [10] Distributed prototyping from validated specifications
    Hansel, D
    Cleaveland, R
    Smolka, SA
    12TH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2000, : 97 - 102
12345