CASL User Manual

CASL User Manual PDF Author: Michel Bidoit
Publisher: Springer Science & Business Media
ISBN: 354020766X
Category : Computers
Languages : en
Pages : 239

Get Book Here

Book Description
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index. A separate, complementary LNCS volume contains the CASL Reference Manual.

CASL User Manual

CASL User Manual PDF Author: Michel Bidoit
Publisher: Springer Science & Business Media
ISBN: 354020766X
Category : Computers
Languages : en
Pages : 239

Get Book Here

Book Description
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index. A separate, complementary LNCS volume contains the CASL Reference Manual.

CASL Reference Manual

CASL Reference Manual PDF Author: Peter D. Mosses
Publisher: Springer
ISBN: 3540246487
Category : Computers
Languages : en
Pages : 520

Get Book Here

Book Description
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.

CASL Reference Manual

CASL Reference Manual PDF Author:
Publisher: Springer Science & Business Media
ISBN: 3540213015
Category : CASL (Computer program language)
Languages : en
Pages : 546

Get Book Here

Book Description


Software Specification Methods

Software Specification Methods PDF Author: Henri Habrias
Publisher: John Wiley & Sons
ISBN: 1118613945
Category : Computers
Languages : en
Pages : 349

Get Book Here

Book Description
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology PDF Author: Charles Rattray
Publisher: Springer Science & Business Media
ISBN: 3540223819
Category : Computers
Languages : en
Pages : 578

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.

Handbook of Research on Innovations in Systems and Software Engineering

Handbook of Research on Innovations in Systems and Software Engineering PDF Author: Díaz, Vicente García
Publisher: IGI Global
ISBN: 146666360X
Category : Computers
Languages : en
Pages : 853

Get Book Here

Book Description
Professionals in the interdisciplinary field of computer science focus on the design, operation, and maintenance of computational systems and software. Methodologies and tools of engineering are utilized alongside the technological advancements of computer applications to develop efficient and precise databases of information. The Handbook of Research on Innovations in Systems and Software Engineering combines relevant research from all facets of computer programming to provide a comprehensive look at the challenges and changes in the field. With information spanning topics such as design models, cloud computing, and security, this handbook is an essential reference source for academicians, researchers, practitioners, and students interested in the development and design of improved and effective technologies.

Encyclopedia of Information Science and Technology

Encyclopedia of Information Science and Technology PDF Author: Mehdi Khosrow-Pour
Publisher: IGI Global Snippet
ISBN: 9781605660264
Category : Computers
Languages : en
Pages : 4292

Get Book Here

Book Description
"This set of books represents a detailed compendium of authoritative, research-based entries that define the contemporary state of knowledge on technology"--Provided by publisher.

Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science PDF Author: José Luis Fiadeiro
Publisher: Springer
ISBN: 3540318763
Category : Computers
Languages : en
Pages : 466

Get Book Here

Book Description
In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on Algebra and Co- gebra in Computer Science, was created to bring together researchers and practit- ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. A steering committee was put together by merging those of CMCS and WADT: Jiri Adamek, Ataru Na- gawa, Michel Bidoit, José Fiadeiro (co-chair), Hans-Peter Gumm, Bart Jacobs, Hans- Jörg Kreowski, Ugo Montanari, Larry Moss, Peter Mosses, Fernando Orejas, Fr- cesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair), and Andrzej Tarlecki. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and co- ductive methods; modal logics; relational systems and term rewriting.

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions PDF Author: Paul Boca
Publisher: Springer Science & Business Media
ISBN: 1848827369
Category : Computers
Languages : en
Pages : 290

Get Book Here

Book Description
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

Datatype-Generic Programming

Datatype-Generic Programming PDF Author: Roland Backhouse
Publisher: Springer Science & Business Media
ISBN: 3540767851
Category : Computers
Languages : en
Pages : 379

Get Book Here

Book Description
This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated with the Symposium on Trends in Functional Programming (TFP 2006), and the Conference of the Types Project (TYPES 2006). All the lectures have been subjected to thorough internal review by the editors and contributors, supported by independent external reviews.