Keyphrases
- formal specification
- program slicing
- reverse engineering
- model checking
- formal verification
- fault localization
- data abstraction
- description languages
- source code
- software testing
- object oriented design
- formal methods
- process algebra
- software engineering
- software maintenance
- object oriented
- concurrent systems
- model based diagnosis
- description language
- business rules
- artificial intelligence
- object oriented databases
- fuzzy logic
- case study
- information systems