Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.
Daniel JacksonCraig DamonPublished in: ISSTA (1996)
Keyphrases
- software design
- software engineering
- software systems
- software development
- functional requirements
- educational software
- design patterns
- model checking
- uml diagrams
- feature vectors
- open source
- feature detectors
- object oriented design
- source code
- feature detection
- database systems
- formal verification
- information systems
- databases