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 条

[21] Prototyping realistic programming languages based on formal specifications
PoetzschHeffter, A
ACTA INFORMATICA, 1997, 34 (10) : 737 - 772
[22] Scalable hardware library for the rapid prototyping of SDL specifications
Univ of Erlangen-Nuremberg, Erlangen, Germany
Proc Int Workshop Rapid Syst Prototyping, (120-125):
[23] Prototyping realistic programming languages based on formal specifications
Arnd Poetzsch-Heffter
Acta Informatica, 1997, 34 : 737 - 772
[24] IMPLEMENTATION OF A TOOLSET FOR PROTOTYPING ALGEBRAIC SPECIFICATIONS OF CONCURRENT SYSTEMS
GIOVINI, A
MORANDO, F
CAPANI, A
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 335 - 349
[25] THE PASSAU RAP SYSTEM - RAPID PROTOTYPING FOR ALGEBRAIC SPECIFICATIONS
HUSSMANN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 264 - 265
[26] A scalable hardware library for the rapid prototyping of SDL specifications
Dörfel, M
Slomka, F
Hofmann, R
TENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS, 1999, : 120 - 125
[27] Automated rapid prototyping of TUG specifications using Prolog
Chiang, CC
INFORMATION AND SOFTWARE TECHNOLOGY, 2004, 46 (13) : 857 - 873
[28] Prototyping realistic programming languages based on formal specifications
Acta Inf, 10 (737):
[29] Prototyping realistic programming languages based on formal specifications
Poetzsch-Heffter, Arnd
Acta Informatica, 1998, 34 (10) : 737 - 772
[30] THE PASSAU RAP SYSTEM - RAPID PROTOTYPING FOR ALGEBRAIC SPECIFICATIONS
HUSSMANN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 475 - 476

← 1 2 3 4 5 →