`Continuous verification' in mission critical software development

Proceedings of the Hawaii International Conference on System Sciences

Volumn 5, Issue , 1997, Pages 273-284

  Chang, Tien fu ^a   Danylyzsn, Alejandro ^a   Norimatsu, So ^a   Rivera, Jose ^a   Shepard, David ^a   Lattanze, Anthony ^a   Tomayko, James ^a  

^a CHINA STEEL CORPORATION   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; QUALITY ASSURANCE; ROBOTICS;

CONTINUOUS VERIFICATION; MISSION CRITICAL SOFTWARE DEVELOPMENT;

SOFTWARE ENGINEERING;

EID: 0031358328     PISSN: 10603425     EISSN: None     Source Type: None    
DOI: 10.1109/HICSS.1997.663184     Document Type: Conference Paper

References (7)

1. M. E. Fagan Design and code inspections to reduce errors in program development IBM Systems Journal 15 3 1976
2. W. S. Humphrey A Discipline for Software Engineering 1995 Addison-Wesley Boston
3. H. D. Mills M. Dyer R. C. Linger Cleanroom Software Engineering IEEE Software 19 24 Sept. 1987
4. Process Handbook June 1996 Carnegie Mellon University Master of Software Engineering Program
5. M. Paulk Capability Maturity Model for Software 1993 PA, Pittsburgh CMU/SEI-94-TR-24 Software Engineering Institute, Carnegie Mellon University
6. W. W. Royce Managing the Development of Large Software Systems Proceedings of the IEEE WESCON 1 9 1970
7. W. Scacchi Models of Software Evolution: Life Cycle and Process October 1987 SEI-CM-10-1.0 Carnegie Mellon University