A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Architectural Specifications in CASL
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
This is followed by details of the features provided in Casl for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process ...
A discussion of refinement of Casl specifications provides the setting for a presentation of the rationale behind architectural specifications. ...
Acknowledgements Our thanks to the whole of CoFI, and in particular to the Language Design Task Group, for many discussions and opportunities to present and improve our ideas on architectural specifications ...
doi:10.1007/3-540-49253-4_25
fatcat:mctrkxfp4vfhngtrz7k25yfuei
Architectural Specifications in CASL
2002
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This is followed by details of the features provided in Casl for architectural specifications, hints concerning their semantics, and simple results justifying their usefulness in the development process ...
A discussion of refinement of Casl specifications provides the setting for a presentation of the rationale behind architectural specifications. ...
Acknowledgements Our thanks to the whole of CoFI, and in particular to the Language Design Task Group, for many discussions and opportunities to present and improve our ideas on architectural specifications ...
doi:10.1007/s001650200012
fatcat:bupsky3mrbdjrln32ur22gbkne
Semantics of Architectural Specifications in Casl
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with modeltheoretic requirements. ...
The main obstacle here is the lack of amalgamation for Casl models. ...
Moreover, we wish to thank Michel Bidoit and Donald Sannella for collaboration on architectural specifications and Maura Cerioli for pointing out the lack of amalgamation for Casl models. ...
doi:10.1007/3-540-45314-8_19
fatcat:mcstn2hi5jfwlns5brfjfqp3z4
Unit Testing for Casl Architectural Specifications
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We focus on systems where the decomposition into parts is specified by a Casl-style architectural specification and the parts (units) are developed separately, perhaps by an independent supplier. ...
The problem of testing modular systems against algebraic specifications is discussed. ...
Concluding remarks We have presented ideas relating to testing modular systems against Casl-style architectural specifications. ...
doi:10.1007/3-540-45687-2_42
fatcat:dbwzxcdi5bhjjhzas6cgaw6ku4
Institution Independent Static Analysis for Casl
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We describe a way to make the static analysis for the inthe-large part of the Common Algebraic Specification Language (Casl) independent of the underlying logic that is used for specification in-thesmall ...
One only has to provide a static analysis for specifications in-the-small for the given logic. This then can be plugged into the generic static analysis for Casl in-the-large. ...
In section 5, we specify this as a Casl architectural specification. Section 6 contains the conclusions. ...
doi:10.1007/3-540-45645-7_11
fatcat:6nlzh3v6frg3jktvmxk6scsxdy
Modeling Modern Micro-architectures using CASL
2007
2007 IEEE International Parallel and Distributed Processing Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool generation for computer ...
We show how CASL can describe pipelines, dynamic information contexts, and contention using the DLX/MIPS architecture as an example. ...
Our primary contribution here is a detailed description of the design and novel features of the new mixed ADL CASL, the CoGenT Architecture Specification Language. ...
doi:10.1109/ipdps.2007.370526
dblp:conf/ipps/WaltersMPRW07
fatcat:qfh5s7sd6fekjkte5n7lrn6fk4
The Common Framework Initiative for Algebraic Specification and Development of Software
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic ...
specification languages. ...
Acknowledgements Many thanks to all the participants of CoFI, and in particular to the coordinators of the various CoFI Task Groups: Bernd Krieg-Brückner (Language Design); Andrzej Tarlecki (Semantics) ...
doi:10.1007/3-540-46562-6_1
fatcat:eigcvszbr5hutlkl454ao5q5yu
From Specifications to Code in Casl
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
One important outstanding point concerns the relationship between Casl and programming languages; making a proper connection is obviously central to the use of Casl specifications for software specification ...
Some of the issues involved in making this connection are discussed. ...
HasCasl [SM02] use shallow embeddings, whereas the work on µJava [NOP00] and ASL+ FPC [Asp97] use deep embeddings; in the case of µJava the object of the formalization is to prove meta-properties about ...
doi:10.1007/3-540-45719-4_1
fatcat:l2vqgif6b5ecxbbcq46ljvjwou
CASL for ASF+SDF Users
1997
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Casl is an expressive language for the algebraic specification<br />of software requirements, design, and architecture. ...
<br />It shows how familiar constructs of Asf+Sdf may be<br />written in Casl, and considers some problems that may arise<br />when translating specifications from Asf+Sdf to Casl. ...
In Casl, an architectural specification consists of a collection of component unit specifications, together with a description of how the im-plemented units are to be composed. ...
doi:10.7146/brics.v4i49.19270
fatcat:wrmczclf6jannnmqolhuibyedq
CASL: A Guided Tour of its Design
1998
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural<br />specifications ...
The major issues that had to be resolved in the design process are indicated, and all the main concepts and constructs of Casl are briefly explained and illustrated - the reader is referred to the Casl ...
Language Constructs This section provides examples that illustrate the Casl language constructs for use in architectural specifications: architectural specification definitions, unit declarations, unit ...
doi:10.7146/brics.v5i43.19488
fatcat:c6uvara7efclfbhjix6vaf2e5q
CASL: From Semantics to Tools
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this work, we present and discuss the Bremen HOL-CASL system, which provides parsing, static checking, conversion to L A T E X and theorem proving for CASL specifications. ...
CASL, the common algebraic specification language, has been developed as a language that subsumes many previous algebraic specification frameworks and also provides tool interoperability. ...
Markus Roggenbach wrote the first larger specifications in CASL, which were extensively used and tested with the tools. ...
doi:10.1007/3-540-46419-0_8
fatcat:uiczbwllkrey7invt6hsz47vua
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic ...
specification languages. ...
Special thanks to the coordinators of the various CoFI Task Groups, listed in the introduction. ...
doi:10.1007/3-540-45645-7_16
fatcat:oeuo7cjv6zb75pd3xz5u2ecf2y
A Simple Refinement Language for Casl
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
The essence of the extension is to allow refinements of unit specifications in CASL architectural specifications. ...
We extend CASL architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. ...
Programs in CASL One problem with the approach described so far is that the constructors provided by specification morphisms and architectural specifications in CASL do not suffice for implementing specifications ...
doi:10.1007/978-3-540-31959-7_10
fatcat:mnhiop5k6jb3nmme4k4ufaqfdu
On the whereabouts of CSP-CASL – A survey
2013
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
of the process algebra CSP with the algebraic specification language CASL, to the design of the concrete syntax, and also to tool support for CSP-CASL, where the theorem prover Isabelle should provide ...
In all this, BKB provided inspiration and guidance, funding, and also a helping hand when needed. ...
The architecture of Csp-Casl-Prover is shown in Figure 4 . Csp-Casl-Prover takes a Csp-Casl process refinement statement as its input. ...
doi:10.14279/tuj.eceasst.62.873
dblp:journals/eceasst/GimblettKOR13
fatcat:awfis5comjevbmrwzb5n6w5cyq
Toward Component-Oriented Formal Software Development: An Algebraic Approach
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Our study is carried out in the context of Casl architectural specifications. ...
In particular we take into account an observational interpretation of requirements specifications and study its impact on the definition of the semantics of specifications of (parametrized) components. ...
Our study is carried out in the context of Casl architectural specifications. ...
doi:10.1007/978-3-540-24626-8_5
fatcat:qstj66wjgbhnfmbxy7aepayglq
« Previous
Showing results 1 — 15 out of 505 results