DocumentCode :
2405874
Title :
Proceedings Ninth International Workshop on Software Specification and Design
fYear :
1998
fDate :
16-18 April 1998
Abstract :
The following topics were dealt with: software specification and design; requirements analysis; program verification; software traceability and modularity; automatic programming; formal logic in specification; and feature engineering
Keywords :
formal logic; formal specification; program verification; systems analysis; automatic programming; feature engineering; formal logic; modularity; program verification; requirements analysis; software specification; software traceability;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Specification and Design, 1998. Proceedings. Ninth International Workshop on
Conference_Location :
Ise-Shima, Japan
Print_ISBN :
0-8186-8439-9
Type :
conf
DOI :
10.1109/IWSSD.1998.667912
Filename :
667912
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2405874
بازگشت