Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Ebersold, Sophie"'
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-
Externí odkaz:
http://arxiv.org/abs/2301.02206
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:
Bennani, Saloua, Kouch, Iliass Ait El, Hamlaoui, Mahmoud El, Ebersold, Sophie, Coulette, Bernard, Nassar, Mahmoud
Publikováno v:
Computer and Information Science, 2020, vol. 13, no 1
Complex systems are typically designed collaboratively by stakeholders from different domains. This multi viewpoints paradigm promotes the separation of concerns since separate teams, from different business viewpoints, build partial models describin
Externí odkaz:
http://arxiv.org/abs/2004.14098
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
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:
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
Autor:
BRUEL, JEAN-MICHEL1 bruel@irit.fr, EBERSOLD, SOPHIE1 sophie.ebersold@irit.fr, GALINIER, FLORIAN1 florian.galinier@irit.fr, MAZZARA, MANUEL2 m.mazzara@innopolis.ru, NAUMCHEV, ALEXANDR2 anaumchev@outlook.com, MEYER, BERTRAND3 Bertrand.Meyer@inf.ethz.ch
Publikováno v:
ACM Computing Surveys. Jun2022, Vol. 54 Issue 5, p1-36. 36p.