Towards UML-based formal specifications of component-based real-time software.
Vieri Del BiancoLuigi LavazzaMarco MauriGiuseppe OccorsoPublished in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
- formal specification
- object oriented design
- real time
- formal methods
- software systems
- software components
- specification language
- software development
- software design
- model checking
- object oriented systems
- software architecture
- component based development
- modeling language
- specification languages
- software testing
- software engineering
- formal specification language
- reverse engineering
- design methodology
- test cases
- software quality
- user interface
- concurrent systems
- database design
- fine grained
- software engineers
- source code
- object oriented
- knowledge base
- information systems
- artificial intelligence