Add to ORKGA generic approach to the formal specification of system requirements is presented. It is based on a pool of requirement patterns, which are related to design patterns well-known in object-oriented software development. The application of such patterns enhances the reusability and genericity as well as the intelligibility of the formal requirement specification. The approach is instantiated by a tailored real-time temporal logic and by selecting building automation systems as application domain. With respect to this domain, the pattern discovery and reuse tasks are explained and illustrated, and a set of typical requirement patterns is presented. Finally, the results of a case study where the approach has been applied are summarized
Abstract. We present a pattern-based software lifecycle and a method that sup-ports the systematic e...
We present a pattern system for property specification. It extends the existing patterns identified ...
International audienceThe ever-increasing design complexity of embedded systems is constantly pressi...
A generic approach to the formal specification of system requirements is presented. It is based on a...
A non-trivial real-time requirement obeying a pattern that can be foundin various instantiations in ...
A tailored real time temporal logic for specifying requirements of building automation systems is in...
International audienceTo ease the expression of real-time requirements, Dwyer, and then Konrad, stud...
Formalizing requirements in formal specifications usually requires high skills for abstraction and e...
Distributed, software-intensive systems such as automotive electronic control units have to handle v...
Abstract Studies show that problems associated with the requirements specifications are widely recog...
In this chapter, we introduce principles and notations for real-time software development. Concepts ...
AbstractPatterns for property specification enable non-experts to write formal specifications that c...
International audienceGuaranteeing the correctness of critical and complex software and systems is a...
Abstract: In this article, the PROBAnD requirements engineering method, which is specialized towards...
: We present generic knowledge to speed up the construction of information system requirements and m...
Abstract. We present a pattern-based software lifecycle and a method that sup-ports the systematic e...
We present a pattern system for property specification. It extends the existing patterns identified ...
International audienceThe ever-increasing design complexity of embedded systems is constantly pressi...
A generic approach to the formal specification of system requirements is presented. It is based on a...
A non-trivial real-time requirement obeying a pattern that can be foundin various instantiations in ...
A tailored real time temporal logic for specifying requirements of building automation systems is in...
International audienceTo ease the expression of real-time requirements, Dwyer, and then Konrad, stud...
Formalizing requirements in formal specifications usually requires high skills for abstraction and e...
Distributed, software-intensive systems such as automotive electronic control units have to handle v...
Abstract Studies show that problems associated with the requirements specifications are widely recog...
In this chapter, we introduce principles and notations for real-time software development. Concepts ...
AbstractPatterns for property specification enable non-experts to write formal specifications that c...
International audienceGuaranteeing the correctness of critical and complex software and systems is a...
Abstract: In this article, the PROBAnD requirements engineering method, which is specialized towards...
: We present generic knowledge to speed up the construction of information system requirements and m...
Abstract. We present a pattern-based software lifecycle and a method that sup-ports the systematic e...
We present a pattern system for property specification. It extends the existing patterns identified ...
International audienceThe ever-increasing design complexity of embedded systems is constantly pressi...