DocumentCode
3156195
Title
Advances in software specification and verification introduction to minitrack
Author
Sobel, Ann E Kelley ; Linger, Richard C.
Author_Institution
Miami University
fYear
2001
fDate
6-6 Jan. 2001
Firstpage
3975
Lastpage
3975
Abstract
Provides an overview of the technical articles and features presented in this minitrack.
Keywords
Application software; Automatic testing; Computer science; Control theory; Documentation; Protocols; Software engineering; Software testing; Streaming media; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 2001. Proceedings of the 34th Annual Hawaii International Conference on
Conference_Location
Maui, HI, USA
Print_ISBN
0-7695-0981-9
Type
conf
DOI
10.1109/HICSS.2001.927262
Filename
927262
Link To Document