-
Software Architecture in Action – Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
Oquendo, Flavio ; Leite, Jair Cavalcanti ; Batista, Thais 2016 Springer International Publishing
-
Formal Methods for Model-Driven Engineering – 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso 2012 Springer Berlin Heidelberg
-
Formal methods for model-driven engineering – advanced lectures
Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso 2012 Springer