An Approach for Interoperability Requirements Specification and Verification.

Sihem Mallek Nicolas Daclin Vincent Chapurlat

Published in: IWEI (2011)

Keyphrases

requirements specification
requirements engineering
software engineering
specification language
software requirements
software systems
development process
web services
model checking
metadata
databases
information systems
database
software architecture
activity diagrams