AbstractUse cases are often useful in capturing requirements by defining goal-oriented set of interactions between the system and its environment. Formalization of precise requirement is then important for context-aware verification based on use cases scenarios in the form of contexts. In this paper, we propose a high-level formalism for expressing requirements based on interaction overview diagrams that orchestrate activity diagrams automatically transformed from textual use cases. Our approach is qualified as context-aware model-checking; it supposes the availability of the system model as concurrent communicating automata and a specification language for describing requirements. Specification of requirements is performed through transfor...
International audienceRequirements documentation is a collection of partial specifications produced ...
Goal-oriented agent systems are increasingly popular for developing complex applications that operat...
International audienceThis paper deals with the problem of the usage of formal techniques, based on ...
International audienceUse cases are often useful in capturing requirements by defining goal-oriented...
AbstractUse cases are often useful in capturing requirements by defining goal-oriented set of intera...
International audienceFormal verification exhibits well known benefits but comes at the price of for...
International audienceSpecification of precise requirement is a key element to realize effectively t...
The Context-aware approach has proven to be an effective technique for software model-checking verif...
Requirements specifications need to be checked against the 3C’s-Consistency, Completeness and Correc...
Requirements specifications need to be checked against the 3C's---Consistency, Completeness and Corr...
A model-driven approach to scenario-based requirements engineering is proposed. The approach, which ...
Distributed, software-intensive systems such as fully automated cars have to handle various situatio...
This paper proposes a technique to support the requirements engineer in transforming existing models...
Abstract. Requirements are currently an undervalued “beast ” in the software modelling world. All th...
International audienceRequirements documentation is a collection of partial specifications produced ...
Goal-oriented agent systems are increasingly popular for developing complex applications that operat...
International audienceThis paper deals with the problem of the usage of formal techniques, based on ...
International audienceUse cases are often useful in capturing requirements by defining goal-oriented...
AbstractUse cases are often useful in capturing requirements by defining goal-oriented set of intera...
International audienceFormal verification exhibits well known benefits but comes at the price of for...
International audienceSpecification of precise requirement is a key element to realize effectively t...
The Context-aware approach has proven to be an effective technique for software model-checking verif...
Requirements specifications need to be checked against the 3C’s-Consistency, Completeness and Correc...
Requirements specifications need to be checked against the 3C's---Consistency, Completeness and Corr...
A model-driven approach to scenario-based requirements engineering is proposed. The approach, which ...
Distributed, software-intensive systems such as fully automated cars have to handle various situatio...
This paper proposes a technique to support the requirements engineer in transforming existing models...
Abstract. Requirements are currently an undervalued “beast ” in the software modelling world. All th...
International audienceRequirements documentation is a collection of partial specifications produced ...
Goal-oriented agent systems are increasingly popular for developing complex applications that operat...
International audienceThis paper deals with the problem of the usage of formal techniques, based on ...