From play-in scenarios to code: An achievable dream

被引：53
作者：
Harel, D [1 ]
机构：
[1] Weizmann Inst Sci, Fac Math & Comp Sci, IL-76100 Rehovot, Israel
来源：
COMPUTER | 2001年 / 34卷 / 01期
关键词：
D O I：
10.1109/2.895118
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A development scheme for complex reactive systems reads from a user-friendly requirements capture method, called play-in scenarios, to full behavioral descriptions of system parts, and from there to final implementation.
引用
收藏
页码：53 / +
页数：9
相关论文
共 29 条
[1]  
[Anonymous], STRUCTURED DESIGN
[2]  
[Anonymous], STRUCTURED DEV REAL
[3]  
[Anonymous], P 16 ACM S PRINC PRO
[4]  
APT A, 1997, VERIFICATION SEQUENT
[5]  
BOOCH G, 1994, OBJECT ORIENTED ANAL
[6]  
Cook Steve, 1994, DESIGNING OBJECT SYS
[7]  
DAMM W, 1999, P 3 IFIP INT C FORM, P293
[8]  
DAMM W, UNPUB FORMAL METHODS
[9]  
DEMARCO T, 1978, STRUCTURED ANAL SYST
[10]   STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS [J].
HAREL, D .
SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :231-&
123