Towards UML-Based Formal Specifications of Component-Based Real-Time Software.
Vieri Del BiancoLuigi LavazzaMarco MauriGiuseppe OccorsoPublished in: FASE (2003)
Keyphrases
- object oriented design
- formal specification
- real time
- formal methods
- software systems
- specification language
- software design
- software development
- software components
- object oriented systems
- software testing
- modeling language
- model checking
- software architecture
- object oriented
- specification languages
- component based development
- concurrent systems
- unified modeling language
- formal specification language
- reverse engineering
- software engineering
- uml profile
- software maintenance
- source code
- uml diagrams
- development process
- database applications
- case study
- information systems
- artificial intelligence
- database