DocumentCode :
3341894
Title :
Formal Methods For Developing Reliable Software In Industry
Author :
Otsuki, Shigeru
Author_Institution :
Systems Development Laboratory, Hitachi, Ltd.
fYear :
1997
fDate :
12-14 Nov. 1997
Firstpage :
2
Lastpage :
2
Keywords :
Computer industry; Financial management; Laboratories; Project management; Reliability engineering; Software development management; Software engineering; Software quality; Software systems; Specification languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location :
Hiroshima, Japan
Print_ISBN :
0-8186-8002-4
Type :
conf
DOI :
10.1109/ICFEM.1997.630388
Filename :
630388
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3341894
بازگشت