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;
Conference_Titel :
Software Engineering Workshop (SEW), 2012 35th Annual IEEE
Conference_Location :
Heraclion
Print_ISBN :
978-1-4673-5574-2
