Author :
Holzmann, Gerard J.
Abstract :
These keynote speeches discuss the following: verifying complex software systems: the challenge; software engineering approaches to the challenges in technology education and system development in the software ecosystem environment; and evolving critical systems.
Keywords :
educational technology; engineering education; program verification; safety-critical software; software metrics; software tools; complex safety-critical software system reliability verification; evolving critical system; software complexity; software ecosystem environment; software engineering; software evolution; software system design; system development; technology education; tool-based formal verification technique;
Conference_Titel :
Secure Software Integration and Reliability Improvement (SSIRI), 2011 Fifth International Conference on
Conference_Location :
Jeju Island
Print_ISBN :
978-1-4577-0780-3
DOI :
10.1109/SSIRI.2011.10
