Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams.
Michal GrobelnyIwona GrobelnaMarian AdamskiPublished in: PDeS (2012)
Keyphrases
- activity diagrams
- sequence diagrams
- class diagrams
- conceptual database design
- operational semantics
- requirements engineering
- petri net
- requirements specification
- model checking
- uml class diagrams
- class diagram
- object oriented
- formal methods
- life cycle
- reverse engineering
- information systems
- development process
- database
- object oriented systems
- programming language