Software architecture has emerged as an important subdiscipline of software engineering encompassing a broad set of languages, ...
Lire la suite
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lire la suite
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...
Lire la suite