From formal requirements to automated web testing and prototyping.
Ernesto Cid Brasil de MatosThiago C. SousaPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- semi automated
- requirements specification
- fully automated
- neural network
- computer vision
- requirements engineering
- user requirements
- development process
- formal model
- real time systems
- design principles
- computer assisted
- computer aided
- software engineering
- formal methods
- formal analysis
- evolutionary algorithm
- automated tools
- multiscale