Add to ORKGAbstract. We extend CASL architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. The essence of the extension is to allow refinements of unit specifications in CASL architectural specifications.
textabstractAn environment for the Common Algebraic Specification Language CASL consists of independ...
Abstract. The status of the Common Framework Initiative (CoFI)and the Common Algebraic Specification...
Casl is an expressive language for the specification of functionalrequirements and modular design of...
We extend Casl architectural specifications with a simple refinement language that allows the formal...
One of the novel features of Casl, the Common Algebraic Specification Language, is the provision of ...
The standard development paradigm of algebraic specification [1] postulates that the development beg...
Casl is an expressive specification language that has been designed to supersede many existing algeb...
The way that refinement of individual “local ” components of a specification relates to development ...
Article dans revue scientifique avec comité de lecture.The Common Algebraic Specification Language C...
Casl is an expressive language for the formal specification of functional requirements and modular d...
AbstractThe Common Algebraic Specification Language (CASL) is an expressive language for the formal ...
An environment for the Common Algebraic Specification Language CASL consists of several independent ...
technical reportThe computer Architecture Specification Language (CASL), described in this paper, is...
Casl is an expressive language for the algebraic specificationof software requirements, design, and ...
AbstractIn this work, we investigate various specification languages and their relation to CASL, the...
textabstractAn environment for the Common Algebraic Specification Language CASL consists of independ...
Abstract. The status of the Common Framework Initiative (CoFI)and the Common Algebraic Specification...
Casl is an expressive language for the specification of functionalrequirements and modular design of...
We extend Casl architectural specifications with a simple refinement language that allows the formal...
One of the novel features of Casl, the Common Algebraic Specification Language, is the provision of ...
The standard development paradigm of algebraic specification [1] postulates that the development beg...
Casl is an expressive specification language that has been designed to supersede many existing algeb...
The way that refinement of individual “local ” components of a specification relates to development ...
Article dans revue scientifique avec comité de lecture.The Common Algebraic Specification Language C...
Casl is an expressive language for the formal specification of functional requirements and modular d...
AbstractThe Common Algebraic Specification Language (CASL) is an expressive language for the formal ...
An environment for the Common Algebraic Specification Language CASL consists of several independent ...
technical reportThe computer Architecture Specification Language (CASL), described in this paper, is...
Casl is an expressive language for the algebraic specificationof software requirements, design, and ...
AbstractIn this work, we investigate various specification languages and their relation to CASL, the...
textabstractAn environment for the Common Algebraic Specification Language CASL consists of independ...
Abstract. The status of the Common Framework Initiative (CoFI)and the Common Algebraic Specification...
Casl is an expressive language for the specification of functionalrequirements and modular design of...