Login / Signup
A logic-based semantics for the verification of multi-diagram UML models.
Luciano Baresi
Angelo Morzenti
Alfredo Motta
Matteo Rossi
Published in:
ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
</>
uml models
uml activity diagrams
object oriented
formal semantics
model checking
logic programming
knowledge representation
information systems
database
software development
logic programs
semantic information
sequence diagrams