Object-oriented software reusability through formal specifications.
L. M. FavreG. M. DiezPublished in: Systems Implementation 2000 (1998)
Keyphrases
- object oriented software
- formal specification
- design patterns
- software architecture
- object oriented
- software engineering
- specification language
- data flow
- reverse engineering
- model checking
- specification languages
- object oriented design
- software systems
- concurrent systems
- formal methods
- software design
- learning objects
- software components
- design methodology
- distributed systems
- software testing
- process model
- cooperative
- regression testing
- training data
- business rules
- software maintenance
- software development
- temporal logic
- e learning
- knowledge based systems
- learning algorithm
- database