Verifying software requirements with XSLT.
Amador DuránAntonio Ruiz CortésBeatriz BernárdezMiguel ToroPublished in: ACM SIGSOFT Softw. Eng. Notes (2002)
Keyphrases
- software requirements
- requirements specification
- systems development
- software systems
- software development
- functional requirements
- development process
- software architecture
- requirements engineering
- knowledge based systems
- markup language
- xml data
- software engineering
- xml documents
- general purpose
- model checking
- xml processing
- written in natural language
- expert systems
- metamodel
- knowledge acquisition
- cooperative
- high level