Publication:3105110

zbMath1233.68126MaRDI QIDQ3105110

Laszlo Kozma, Anna Medve

Publication date: 5 January 2012

zbMATH Keywords

verification; specification; CADP; MSC; model composition; GraphViz; MDA process; model improvements; UML2.0; VERIMAG IFx

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Graphviz
• VERIMAG IFx