vUML
From MaRDI portal
Software:21454
No author found.
Related Items (10)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fundamental Approaches to Software Engineering ⋮ Correct transformation: from object-based graph grammars to PROMELA ⋮ Intra- and interdiagram consistency checking of behavioral multiview models ⋮ Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project. ⋮ Model Checking of Extended OCL Constraints on UML Models in SOCLe ⋮ Formal verification of safety protocol in train control system ⋮ Towards automated software model checking using graph transformation systems and bogor
This page was built for software: vUML
