Abstract — Modelling requirements is an effective mean to undesrtand a system’s required behaviour and explore alternative system designs. The resulting models are also valuable for subsequent activities of software design, implementation, and verification. However, elaborating these models requires significant expertise and effort. The paper aims at reducing this effort by automating an essential activity of requirements modelling which consists in deriving a machine specification satisfying a set of goals in a domain. It introduces deontic input-output automata —an extension of input-output automata with permissions and obligations — and an automated synthesis technique over this formalism to support such derivation. This technique helps ...
International audienceUse cases are often useful in capturing requirements by defining goal-oriented...
Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenti...
A simple but important task during the analysis of a textual requirements specification is to determ...
Abstract—Requirements modelling helps software engineers understand a system’s required behaviour an...
Scenarios as partial behavior descriptions, are used more and more to represent users requirements, ...
Requirements consist of (a) domain assumptions, (b) hard goals, (c) quality constraints, (d) possibl...
Abstract. Formal specifications play an increasingly important role in system design-flows. Yet, the...
Autonomic computing systems reduce software maintenance costs and management complexity by taking on...
Distributed, software-intensive systems such as fully automated cars have to handle various situatio...
Abstract: Good requirements structure can greatly facilitate the construction of formal models of sy...
Abstract. Requirements are currently an undervalued “beast ” in the software modelling world. All th...
Abstract—In this position paper we review the history of re-quirements models and conclude that a go...
AbstractUse cases are often useful in capturing requirements by defining goal-oriented set of intera...
Requirements analysis includes a preliminary acquisition step where a global model for the specifica...
We propose a method for the elicitation and the ex-pression of requirements. The requirements can th...
International audienceUse cases are often useful in capturing requirements by defining goal-oriented...
Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenti...
A simple but important task during the analysis of a textual requirements specification is to determ...
Abstract—Requirements modelling helps software engineers understand a system’s required behaviour an...
Scenarios as partial behavior descriptions, are used more and more to represent users requirements, ...
Requirements consist of (a) domain assumptions, (b) hard goals, (c) quality constraints, (d) possibl...
Abstract. Formal specifications play an increasingly important role in system design-flows. Yet, the...
Autonomic computing systems reduce software maintenance costs and management complexity by taking on...
Distributed, software-intensive systems such as fully automated cars have to handle various situatio...
Abstract: Good requirements structure can greatly facilitate the construction of formal models of sy...
Abstract. Requirements are currently an undervalued “beast ” in the software modelling world. All th...
Abstract—In this position paper we review the history of re-quirements models and conclude that a go...
AbstractUse cases are often useful in capturing requirements by defining goal-oriented set of intera...
Requirements analysis includes a preliminary acquisition step where a global model for the specifica...
We propose a method for the elicitation and the ex-pression of requirements. The requirements can th...
International audienceUse cases are often useful in capturing requirements by defining goal-oriented...
Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenti...
A simple but important task during the analysis of a textual requirements specification is to determ...