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;
Conference_Titel :
Software Engineering and Advanced Applications (SEAA), 2012 38th EUROMICRO Conference on
Conference_Location :
Cesme, Izmir
Print_ISBN :
978-1-4673-2451-9
DOI :
10.1109/SEAA.2012.84
