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
Casl is an expressive language for the algebraic specificationof software requirements, design, and ...
technical reportThe computer Architecture Specification Language (CASL), described in this paper, is...
AbstractIn this work, we investigate various specification languages and their relation to CASL, the...
We extend Casl architectural specifications with a simple refinement language that allows the formal...
Abstract. We extend CASL architectural specifications with a simple refinement language that allows ...
One of the novel features of Casl, the Common Algebraic Specification Language, is the provision of ...
The way that refinement of individual “local ” components of a specification relates to development ...
Casl is an expressive specification language that has been designed to supersede many existing algeb...
Abstract. The way that refinement of individual “local ” components of a specification relates to de...
Casl is an expressive language for the formal specification of functional requirements and modular d...
Article dans revue scientifique avec comité de lecture.The Common Algebraic Specification Language C...
AbstractThe Common Algebraic Specification Language (CASL) is an expressive language for the formal ...
Casl is an expressive language for the specification of functionalrequirements and modular design of...
AbstractOne of the goals of software engineering is to provide what is necessary to write relevant, ...
We construct a representation of the institution of the algebraic specification language Casl in an ...
Casl is an expressive language for the algebraic specificationof software requirements, design, and ...
technical reportThe computer Architecture Specification Language (CASL), described in this paper, is...
AbstractIn this work, we investigate various specification languages and their relation to CASL, the...
We extend Casl architectural specifications with a simple refinement language that allows the formal...
Abstract. We extend CASL architectural specifications with a simple refinement language that allows ...
One of the novel features of Casl, the Common Algebraic Specification Language, is the provision of ...
The way that refinement of individual “local ” components of a specification relates to development ...
Casl is an expressive specification language that has been designed to supersede many existing algeb...
Abstract. The way that refinement of individual “local ” components of a specification relates to de...
Casl is an expressive language for the formal specification of functional requirements and modular d...
Article dans revue scientifique avec comité de lecture.The Common Algebraic Specification Language C...
AbstractThe Common Algebraic Specification Language (CASL) is an expressive language for the formal ...
Casl is an expressive language for the specification of functionalrequirements and modular design of...
AbstractOne of the goals of software engineering is to provide what is necessary to write relevant, ...
We construct a representation of the institution of the algebraic specification language Casl in an ...
Casl is an expressive language for the algebraic specificationof software requirements, design, and ...
technical reportThe computer Architecture Specification Language (CASL), described in this paper, is...
AbstractIn this work, we investigate various specification languages and their relation to CASL, the...
DOI
Add to ORKG