Title :
Advances in software specification and verification introduction to minitrack
Author :
Sobel, Ann E.K. ; Linger, R.C.
Author_Institution :
Miami University
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;
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
DOI :
10.1109/HICSS.2002.994464