Position Paper: Formal Methods in Agile Development.
Michael LöwePublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- formal methods
- agile development
- software engineering
- software development
- pair programming
- software evolution
- agile software development
- artificial intelligence
- future directions
- knowledge based systems
- software systems
- object oriented
- formal specification
- software maintenance
- reverse engineering
- development process
- design patterns
- software architecture
- software projects
- model checking
- formal specification language