Florian Galinier

12 papers A* 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
J. Object Technol.
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
2022 J jnl
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
CoRR
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
2022 J jnl
The Role of Formalism in System Requirements.
ACM Comput. Surv.
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
2021 — —
Seamless development of complex systems : a multirequirements approach. (Développement sans rupture de systèmes complexes : une approche basée multi-exigences).
Florian Galinier
2019 J jnl
AutoReq: Expressing and verifying requirements for control systems.
J. Comput. Lang.
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2019 J jnl
Formality in Software Requirements.
CoRR
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer
2019 J jnl
The Anatomy of Requirements.
CoRR
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
2019 — conf
Towards an Anatomy of Software Requirements.
TOOLS
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
2018 A* conf
A DSL for requirements in the context of a seamless approach.
ASE
Florian Galinier
2017 J jnl
A contract-based method to specify stimulus-response requirements.
CoRR
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
2017 J jnl
Expressing and verifying embedded software requirements.
CoRR
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2017 — conf
Seamless Integration of Multirequirements in Complex Systems.
RE Workshops
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer