Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
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 fro...
Cote: | Libro Electrónico |
---|---|
Collectivité auteur: | |
Autres auteurs: | , |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Édition: | 1st ed. 2016. |
Collection: | Theoretical Computer Science and General Issues,
9559 |
Sujets: | |
Accès en ligne: | Texto Completo |
Table des matières:
- Modeling and Specification
- Testing and Debugging
- Model Checking and Verification
- Algorithm and Transformation.