Login / Signup
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design.
João Paulo Barros
Jens Bæk Jørgensen
Published in:
Nord. J. Comput. (2005)
Keyphrases
</>
coloured petri nets
object oriented analysis and design
unified modelling language
software engineering
formal verification
case study
model driven
model driven engineering
uml models
activity diagrams
sequence diagrams
software design
open source
knowledge base
uml class diagrams
object oriented
query language