-PDF Download- Casl User Manual EBOOK

CASL User Manual

Author: Michel Bidoit

Publisher: Springer Science & Business Media

Published: 2004-01-29

Total Pages: 239

ISBN-13: 354020766X

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

Author:

Publisher: Springer Science & Business Media

Published: 2004

Total Pages: 546

ISBN-13: 3540213015

DOWNLOAD EBOOK →

CASL Reference Manual

Author: Peter D. Mosses

Publisher: Springer

Published: 2004-02-24

Total Pages: 520

ISBN-13: 3540246487

DOWNLOAD EBOOK →

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.

Recent Trends in Algebraic Development Techniques

Author: Maura Cerioli

Publisher: Springer

Published: 2003-07-31

Total Pages: 348

ISBN-13: 3540456457

DOWNLOAD EBOOK →

This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.

Software Specification Methods

Author: Henri Habrias

Publisher: John Wiley & Sons

Published: 2013-03-01

Total Pages: 349

ISBN-13: 1118613945

DOWNLOAD EBOOK →

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.

Recent Trends in Algebraic Development Techniques

Author: José Luiz Fiadeiro

Publisher: Springer

Published: 2007-06-20

Total Pages: 174

ISBN-13: 3540719989

DOWNLOAD EBOOK →

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems.

Logics of Specification Languages

Author: Dines Bjørner

Publisher: Springer Science & Business Media

Published: 2007-12-05

Total Pages: 624

ISBN-13: 3540741070

DOWNLOAD EBOOK →

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Recent Trends in Algebraic Development Techniques

Author: Martin Wirsing

Publisher: Springer

Published: 2003-11-24

Total Pages: 464

ISBN-13: 3540400206

DOWNLOAD EBOOK →

This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed, and mobile systems, and algebraic and co-algebraic methods.

Recent Trends in Algebraic Development Techniques

Author: Till Mossakowski

Publisher: Springer

Published: 2012-02-21

Total Pages: 303

ISBN-13: 3642284124

DOWNLOAD EBOOK →

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.

Algebra and Coalgebra in Computer Science

Author: Andrea Corradini

Publisher: Springer Science & Business Media

Published: 2011-08-19

Total Pages: 431

ISBN-13: 3642229433

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.