Extracting EFSMs of Web Applications for Formal Requirements Specification.
Andrey ZakonovAnatoly ShalytoPublished in: SAFECOMP (2012)
Keyphrases
- web applications
- requirements specification
- requirements engineering
- software engineering
- software requirements
- application development
- software systems
- specification language
- development process
- end users
- web application development
- web services
- web browser
- systems development
- software development
- web development
- mashup
- high level
- formal specification
- programming language
- knowledge base