Using CASL to specify the requirements and the design: A problem specific approach

DOI10.1007/978-3-540-44616-3_7MaRDI QIDQ2722019zbMATH OpenFDO

Authors Christine Choppy, Gianna Reggio

Publication date 11 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-44616-3_7

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• CASL: the Common Algebraic Specification Language.
• scientific article; zbMATH DE number 2172806
• scientific article; zbMATH DE number 1629958
• CASL reference manual. The complete documentation of the common algebraic specification language.

Cited in

(5)

• Relating CASL with other specification languages: the institution level.
• A formally grounded software specification method
• Software requirements and design. The work of Michael Jackson.
• Communicating Sequential Processes. The First 25 Years
• Clarifying the semantics of value in use cases through Jackson's problem frames

Describes a project that uses

Uses Software

• CoFI

This page was built for publication: Using CASL to specify the requirements and the design: A problem specific approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722019)