IRIS: A Semi-Formal Approach for Detecting Requirements Interactions.

Mohamed Shehata Armin Eberlein Abraham O. Fapojuwo

Published in: ECBS (2004)

Keyphrases

requirements specification
formal model
application specific
functional requirements
real time systems
formal language
real time
databases
information systems
image processing
natural language
software engineering
design principles
formal representation