DocumentCode
1572621
Title
[Title page i]
fYear
2012
Abstract
The following topics are dealt with: software engineering; software design; software modeling; software testing; formal analysis; requirements engineering; software certification; software evaluation; and software analysis.
Keywords
certification; program testing; software engineering; formal analysis; requirements engineering; software analysis; software certification; software design; software engineering; software evaluation; software modeling; software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Workshop (SEW), 2012 35th Annual IEEE
Conference_Location
Heraclion
ISSN
1550-6215
Print_ISBN
978-1-4673-5574-2
Type
conf
DOI
10.1109/SEW.2012.1
Filename
6479791
Link To Document