DocumentCode
2399748
Title
Advances in software specification and verification introduction to minitrack
Author
Sobel, Ann E.K. ; Linger, R.C.
Author_Institution
Miami University
fYear
2002
fDate
10-10 Jan. 2002
Firstpage
3591
Lastpage
3591
Abstract
Provides an overview of the technical articles and features presented in this minitrack.
Keywords
Application software; Computer science; Computerized monitoring; Intelligent networks; Large-scale systems; Programming; Real time systems; Software engineering; State-space methods; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 2002. HICSS. Proceedings of the 35th Annual Hawaii International Conference on
Conference_Location
Big Island, HI
Print_ISBN
0-7695-1435-9
Type
conf
DOI
10.1109/HICSS.2002.994464
Filename
994464
Link To Document