Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Galinier, Florian"'
Autor:
Naumcheva, Maria, Ebersold, Sophie, Naumchev, Alexandr, Bruel, Jean-Michel, Galinier, Florian, Meyer, Bertrand
A paradox of requirements specifications as dominantly practiced in the industry is that they often claim to be object-oriented (OO) but largely rely on procedural (non-OO) techniques. Use cases and user stories describe functional flows, not object
Externí odkaz:
http://arxiv.org/abs/2209.02189
Autor:
Bruel, Jean-Michel, Ebersold, Sophie, Galinier, Florian, Naumchev, Alexandr, Mazzara, Manuel, Meyer, Bertrand
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, good for understandability but lacking in precision. To m
Externí odkaz:
http://arxiv.org/abs/1911.02564
Requirements engineering is crucial to software development but lacks a precise definition of its fundamental concepts. Even the basic definitions in the literature and in industry standards are often vague and verbose. To remedy this situation and p
Externí odkaz:
http://arxiv.org/abs/1906.06614
Autor:
Naumchev, Alexandr, Meyer, Bertrand, Mazzara, Manuel, Galinier, Florian, Bruel, Jean-Michel, Ebersold, Sophie
The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect stakeholders' needs, and the implementation satisfies them. In usual approaches, the use of different notations for requir
Externí odkaz:
http://arxiv.org/abs/1710.02801
Autor:
Naumchev, Alexandr, Mazzara, Manuel, Meyer, Bertrand, Bruel, Jean-Michel, Galinier, Florian, Ebersold, Sophie
A number of formal methods exist for capturing stimulus-response requirements in a declarative form. Someone yet needs to translate the resulting declarative statements into imperative programs. The present article describes a method for specificatio
Externí odkaz:
http://arxiv.org/abs/1704.04905
Autor:
Naumchev, Alexandr, Meyer, Bertrand, Mazzara, Manuel, Galinier, Florian, Bruel, Jean-Michel, Ebersold, Sophie
Publikováno v:
In Journal of Computer Languages April 2019 51:131-142
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
BRUEL, JEAN-MICHEL, EBERSOLD, SOPHIE, GALINIER, FLORIAN, MAZZARA, MANUEL, NAUMCHEV, ALEXANDR, MEYER, BERTRAND
Publikováno v:
ACM Computing Surveys; Jun2022, Vol. 54 Issue 5, p1-36, 36p
Autor:
Galinier, Florian
Publikováno v:
[Research Report] IRIT. 2019
Proving that a system satisfies its requirements is an important challenge of Requirements Engineering (RE). Requirements traceability is one of the answer given by RE to ensure that the system is the ``right'' system. Formal approaches provide a way
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::aa7be1e3ba3f9a3b876d75d240afa8e9
https://hal.science/hal-03012573
https://hal.science/hal-03012573