3 papers
cs.SE2026
Engineering Decisions in MBSE: Insights for a Decision Capture Framework Development
Nidhal Selmi, Jean-michel Bruel, Sébastien Mosser +2
Decision-making is a core engineering design activity that conveys the engineer's knowledge and translates it into courses of action. Capturing this form of knowledge can reap pote…
cs.SE2025
From What to How: A Taxonomy of Formalized Security Properties
Imen Sayar, Nan Messe, Sophie Ebersold +1
Confidentiality, integrity, availability, authenticity, authorization, and accountability are known as security properties that secure systems should preserve. They are usually con…
cs.SE2025
UOOR: Seamless and Traceable Requirements
Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel +1
In industrial practice, requirements are an indispensable element of any serious software project. In the academic study of software engineering, requirements are one of the heavil…