The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract).
C. A. R. HoarePublished in: ICSE (1996)
Keyphrases
- extended abstract
- long term
- software development
- theorem proving
- future development
- real world
- historical information
- software systems
- cost effective
- theorem prover
- software design
- requirements specification
- databases
- future trends
- computer software
- software package
- formal specification
- software tools
- software architecture
- user interface
- database systems