DocumentCode
2864869
Title
Keynotes
Author
Holzmann, Gerard J.
fYear
2011
fDate
27-29 June 2011
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SSIRI.2011.10
Filename
5991995
Link To Document