CASE-STUDY - THE USE OF FORMAL SPECIFICATION AND RAPID PROTOTYPING TO ESTABLISH PRODUCT FEASIBILITY

被引：1
作者：
ALEXANDER, H
POTTER, B
机构：
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1987年 / 29卷 / 07期
关键词：
D O I：
10.1016/0950-5849(87)90206-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：388 / 394
页数：7
相关论文
共 20 条
[1]  
BONET R, 1984, ACM SIGSOFT SOFTWARE, V9, P23
[2]   OBJECT-ORIENTED DEVELOPMENT [J].
BOOCH, G .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) :211-221
[3]  
Budde R., 1984, APPROACHES PROTOTYPI
[4]   THE RIGOROUS DEVELOPMENT OF A SYSTEM VERSION CONTROL PROGRAM [J].
COTTAM, ID .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (02) :143-154
[5]  
GOGUEN J, 1982, ACM SIGSOFT SOFTWARE, V7, P75
[6]  
GOMAA H, 1983, ACM SIGSOFT SOFTWARE, V8, P17
[7]  
Harary F., 1969, GRAPH THEORY, DOI DOI 10.1201/9780429493768
[8]  
Hayes I., 1986, SPECIFICATION CASE S
[9]  
Hekmatpour S., 1986, Software Engineering 86, P317
[10]   FUNCTIONAL PROGRAMMING, FORMAL SPECIFICATION, AND RAPID PROTOTYPING [J].
HENDERSON, P .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) :241-250
12