Supporting Requirements Verification Using XSLT.

Amador Durán Antonio Ruiz Cortés Rafael Corchuelo Miguel Toro

Published in: RE (2002)

Keyphrases

general purpose
xml data
artificial intelligence
xml documents
formal analysis
real time systems
grid workflow
information retrieval
model checking
markup language
requirements engineering
asynchronous circuits