Integrating formal methods into traditional practices for software development: an overview.
Carlos Alberto Fernández y FernándezPublished in: CoRR (2014)
Keyphrases
- formal methods
- software development
- development lifecycle
- software engineering
- case study
- extreme programming
- agile development
- software industry
- tool support
- model checking
- safety critical
- formal analysis
- provably correct
- model checker
- formal specification
- knowledge based systems
- software systems
- development methodologies
- artificial intelligence
- agile software development
- process algebra
- software process
- software developers
- software components
- agile methods
- software projects
- software development teams
- development teams
- modeling language
- reverse engineering
- effort estimation
- knowledge acquisition
- pair programming
- software architecture
- object oriented
- design patterns
- fine grained
- knowledge management
- development process
- software testing