DocumentCode
3426986
Title
First Steps in the Verified Software Grand Challenge
Author
Woodcock, Jim
Author_Institution
University of York, UK
fYear
2006
fDate
38808
Firstpage
203
Lastpage
206
Abstract
Summary form only given. The computer science research community is collaborating to develop verification technology that will demonstrably enhance the productivity and reliability with which software is designed, developed, integrated, and maintained
Keywords
formal verification; software maintenance; software reliability; computer science research community; software design; software development; software integration; software maintenance; software reliability; software verification technology; Collaborative software; Collaborative work; Computer science; Conferences; NASA; Productivity; Software design; Software engineering; Software maintenance; Space technology;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Workshop, 2006. SEW '06. 30th Annual IEEE/NASA
Conference_Location
Columbia, MD
ISSN
1550-6215
Print_ISBN
0-7695-2624-1
Type
conf
DOI
10.1109/SEW.2006.17
Filename
4090262
Link To Document