Proof and Refutation in Formal Software Development.
Juan BicarreguiBrian MatthewsPublished in: IWFM (1999)
Keyphrases
- software development
- theorem prover
- theorem proving
- automated theorem proving
- software engineering
- software systems
- software developers
- case study
- formal methods
- software reuse
- software projects
- software architecture
- inference rules
- cost estimation
- software components
- development process
- first order logic
- software design
- development methodologies
- effort estimation
- argumentation schemes
- pair programming
- database
- software industry
- formal representation
- requirements engineering
- software testing
- software maintenance
- formal model