"Traceability"

Formal Semantics of Requirements Relationships for Traceability

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap

Requirements Specific Modeling Language : un langage formel d'expression d'exigences