Login / Signup
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.
Daniel Jackson
Craig Damon
Published in:
IEEE Trans. Software Eng. (1996)
Keyphrases
</>
software design
software systems
software engineering
software development
object oriented design
educational software
functional requirements
uml diagrams
model checking
design patterns
feature vectors
detection method
feature set
high level
source code
data model
feature extraction