An empirical study of specification by example in a software engineering tool.
Hazem QattousPhilip D. GrayRay WellandPublished in: ESEM (2010)
Keyphrases
- software engineering
- tool support
- formal methods
- artificial intelligence
- high level
- object oriented
- software systems
- software development
- software maintenance
- development process
- software architecture
- case study
- genetic algorithm
- neural network
- data sets
- petri net
- multi agent
- requirements engineering
- systems development
- databases