Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Grenoble, France)
Florian Galinier
June 2018
PDF
Cite
Type
Conference paper
Publication
10èmes Journées nationales du GDR : Groupement de Recherche Génie de la Programmation et du Logiciel (GDR GPL 2018)
Related
Formal Semantics of Requirements Relationships for Traceability
Seamless development of complex systems: a multirequirements approach
Requirements Specific Modeling Language : un langage formel d'expression d'exigences
The Role of Formalism in System Requirements
Towards an Anatomy of Software Requirements
Cite
×