Login / Signup
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams.
Franklin Ramalho
Jacques Robin
Ulrich Schiel
Published in:
Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
</>
class diagrams
formal semantics
uml class diagrams
operational semantics
sequence diagrams
object oriented
class diagram
reverse engineering
activity diagrams
object oriented systems
database
first order logic
theorem prover
uml diagrams
petri net
automated reasoning
modeling language
software engineering
software design
regression testing
software maintenance
modal logic
open source
data model