Specification of Function Block Applications with UML.
Wei ZhangChristian DiedrichWolfgang A. HalangPublished in: ICRA (2005)
Keyphrases
- specification language
- state machine
- sequence diagrams
- database design
- formal methods
- activity diagrams
- uml diagrams
- image blocks
- software architecture
- software systems
- software engineering
- object oriented
- class diagrams
- metamodel
- artificial intelligence
- uml models
- reverse engineering
- integrity constraints
- software development
- video sequences