Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Formal Semantics of Requirements Relationships for Traceability
Florian Galinier
January 2019
PDF
Cite
Type
Report
"Requirements engineering"
"Traceability"
"Formal semantics"
"Verification and Validation"
Related
Requirements Specific Modeling Language : un langage formel d'expression d'exigences
Translation of Heterogenous Requirements Meta-Models Through a Pivot Meta-Model
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Grenoble, France)
Seamless development of complex systems: a multirequirements approach
Cite
×