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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3426986
بازگشت