DocumentCode :
2150083
Title :
A Practical Integration of Formality into the Software Process
Author :
Duke, Roger ; Mann, Craig
Author_Institution :
University of Queensland
fYear :
1997
fDate :
24-28 Nov 1997
Firstpage :
365
Lastpage :
365
Keywords :
Costs; Formal specifications; Hazards; Information technology; Mission critical systems; Programming; Project management; Software development management; Software engineering; Software safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1997. TOOLS 25, Proceedings
Print_ISBN :
0-8186-8485-2
Type :
conf
DOI :
10.1109/TOOLS.1997.681891
Filename :
681891
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2150083
بازگشت