Télécharger le livre :  Rigorous State-Based Methods

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9...
Editeur : Springer
Parution : 2020-05-22
Collection : Lecture Notes in Computer Science
Format(s) : PDF, ePub
77,00

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Modeling Companion for Software Practitioners

This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models...
Editeur : Springer
Parution : 2018-03-31

Format(s) : PDF
68,56

Téléchargement immédiat
Dès validation de votre commande