DocumentCode
2446313
Title
Integration method for specification process
Author
Horai, Hisayuki ; Saeki, Motoshi ; Enomoto, Hajime
Author_Institution
Fujitsu Ltd., Tokyo, Japan
fYear
1990
fDate
23-26 Apr 1990
Firstpage
605
Lastpage
614
Abstract
Proposes a specification process based on the concept that a specification consists of three subprocesses (elaborate, design, and evolve) which are mutually independent. Elaboration, design, and evolution are improvements that are based on elicitation, analysis and formalization, and validation of the specification process. The authors also describe the generation of a production system-like prototype program from specifications described as constraints. Finally, they present an example that uses this prototype program
Keywords
formal specification; software prototyping; analysis; constraints; design; elaboration; elicitation; evolution; formalization; integration method; production system-like prototype program; specification process; validation; Natural languages; Production systems; Programming; Proposals; Prototypes; Software prototyping; Specification languages; Visualization;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems Integration, 1990. Systems Integration '90., Proceedings of the First International Conference on
Conference_Location
Morristown, NJ
Print_ISBN
0-8186-9027-5
Type
conf
DOI
10.1109/ICSI.1990.138726
Filename
138726
Link To Document