Description
Fundamental Approaches to Software Engineering, 2014
17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Theoretical Computer Science and General Issues Series
Coordinators: Gnesi Stefania, Rensink Arend
Language: EnglishSubjects for Fundamental Approaches to Software Engineering:
Keywords
formal methods; graph transformations; model checking; model transformation; model-driven software engineering; modeling; program repair; scenario-based specifications; software debugging; software engineering; software functional properties; software performance; software system models; software system structures; software testing; software validation; software verification; static analysis
432 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>