Verification, Validation and the Future of Software Engineering.
John StaplesPublished in: Australian Software Engineering Conference (1996)
Keyphrases
- software engineering
- artificial intelligence
- formal methods
- long term
- software systems
- model checking
- object oriented
- real time
- formal verification
- software development
- human computer interaction
- development process
- reverse engineering
- verification method
- asynchronous circuits
- software engineers
- software engineering education
- software architecture
- evolutionary algorithm
- website
- genetic algorithm
- data sets