Bringing the Agile Philosophy to Formal Specification Settings.
Martín López NoresJosé Juan Pazos-AriasJorge García DuqueYolanda Blanco-FernándezRebeca P. Díaz RedondoAna Fernández VilasAlberto Gil-SollaManuel Ramos CabrerPublished in: Int. J. Softw. Eng. Knowl. Eng. (2006)
Keyphrases
- formal specification
- model checking
- specification languages
- object oriented design
- specification language
- artificial intelligence
- process algebra
- data abstraction
- project management
- reverse engineering
- cooperative
- formal methods
- model checker
- cognitive science
- software development
- software engineering
- concurrent systems
- temporal logic
- development process
- distributed systems
- high level