Publication:3105110
From MaRDI portal
zbMath1233.68126MaRDI QIDQ3105110
Publication date: 5 January 2012
verification; specification; CADP; MSC; model composition; GraphViz; MDA process; model improvements; UML2.0; VERIMAG IFx
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software