"Traceability"

Formal Semantics of Requirements Relationships for Traceability

Florian Galinier

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

Hugo Bruneliere, Romina Eramo, Abel Gomez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle

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

Florian Galinier, Sophie Ebersold-Marcaillou, Jean-Michel Bruel