Andere Kunden interessierten sich auch für
![Structured Object-Oriented Formal Language and Method]( "Structured Object-Oriented Formal Language and Method")
Structured Object-Oriented Formal Language and Method30,99 €![Formal Techniques for Safety-Critical Systems]( "Formal Techniques for Safety-Critical Systems")
Formal Techniques for Safety-Critical Systems37,99 €![Models in Software Engineering]( "Models in Software Engineering")
Models in Software Engineering37,99 €![Software Language Engineering]( "Software Language Engineering")
Software Language Engineering37,99 €![Formal Modeling and Analysis of Timed Systems]( "Formal Modeling and Analysis of Timed Systems")
Formal Modeling and Analysis of Timed Systems37,99 €![Model Driven Engineering Languages and Systems]( "Model Driven Engineering Languages and Systems")
Model Driven Engineering Languages and Systems79,99 €![Service-Oriented Computing]( "Service-Oriented Computing")
Service-Oriented Computing37,99 €
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.