DocumentCode
1705945
Title
[Cover art]
fYear
2012
Abstract
The following topics are dealt with: model-based development; formal methods; certification and tool support; embedded systems; software architecture; software process and product improvement; software quality measurement; software value management; and cloud software.
Keywords
certification; cloud computing; embedded systems; formal specification; formal verification; software architecture; software management; software metrics; software quality; software tools; certification; cloud software; embedded systems; formal methods; model-based development; software architecture; software process improvement; software product improvement; software quality measurement; software tools; software value management;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Advanced Applications (SEAA), 2012 38th EUROMICRO Conference on
Conference_Location
Cesme, Izmir
Print_ISBN
978-1-4673-2451-9
Type
conf
DOI
10.1109/SEAA.2012.84
Filename
6328187
Link To Document