Combining Formal Specifications with Test Driven Development.
Hubert BaumeisterPublished in: XP/Agile Universe (2004)
Keyphrases
- formal specification
- test driven development
- specification languages
- object oriented design
- model checking
- specification language
- reverse engineering
- concurrent systems
- process algebra
- software development
- formal methods
- software components
- conceptual modeling
- semantic data models
- protocol specification
- information systems
- multi agent