DocumentCode :
312961
Title :
Introducing Formal Specification Methods in Industrial Practice
Author :
Baresi, Luciano ; Orso, Alessandro ; Pezzè, Mauro
Author_Institution :
Dipartimento di Elettronica e Informazione, Politecnico di Milano
fYear :
1997
fDate :
17-23 May 1997
Firstpage :
56
Lastpage :
66
Keywords :
Specification notations, Formal methods, CASE tools; Application software; Computer aided software engineering; Computer languages; Costs; Data analysis; Failure analysis; Formal specifications; Kernel; Programming;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
ISSN :
0270-5257
Print_ISBN :
0-89791-914-9
Type :
conf
DOI :
10.1109/ICSE.1997.610206
Filename :
610206
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=312961
بازگشت