Title :
Table of contents
Abstract :
The following topics are dealt with: safety-critical software development; agile process; open source software; model-based software engineering; software measurement; software complexity management; infrastructure as a service clouds; process improvement process models; metamodels; model transformation; model analysis; cyber-physical system validation; software architecture; software design; software specification; requirement management; software estimation; software product lines; software ecosystems; fault modelling; design flaws; software quality assurance; software analysis; cloud plans; cloud service networks; and cloud programming.
Keywords :
cloud computing; formal specification; formal verification; program testing; public domain software; safety-critical software; software architecture; software fault tolerance; software metrics; software process improvement; software product lines; software prototyping; software quality; systems analysis; agile process; cloud plans; cloud programming; cloud service networks; cyber-physical system validation; design flaws; fault modelling; infrastructure as a service clouds; metamodels; model analysis; model transformation; model-based software engineering; open source software; process improvement; process models; requirement management; safety-critical software development; software analysis; software architecture; software complexity management; software design; software ecosystems; software estimation; software measurement; software product lines; software quality assurance; software specification;
Conference_Titel :
Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on
Conference_Location :
Verona
DOI :
10.1109/SEAA.2014.9
