Evolution and Reuse of Formal Specification Using Decision Structures.
J. Christian WildDaniela RoscaPublished in: KBSE (1994)
Keyphrases
- formal specification
- object oriented design
- specification language
- model checking
- specification languages
- reverse engineering
- software evolution
- decision making
- concurrent systems
- software components
- formal methods
- data abstraction
- decision rules
- decision makers
- business rules
- grid workflow
- database
- formal specification language
- object oriented systems
- software reuse
- software design
- fuzzy logic
- case study
- web services