A formally grounded software specification method

DOI10.1016/J.JLAP.2005.09.003zbMath1088.68103OpenAlexW2118793464MaRDI QIDQ2369031

Gianna Reggio, Christine Choppy

Publication date: 28 April 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2005.09.003

zbMATH Keywords

Formal specificationCaslAlgebraic-logical specificationCasl-LtlSpecification methodVisual notation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation ⋮ A formally grounded software specification method

Uses Software

• CoFI
• CASL

Cites Work

• Specification of abstract dynamic-data types: A temporal logic approach
• 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.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Formalism and method
• A formally grounded software specification method
• Fundamental Approaches to Software Engineering
• The algebra of stream processing functions
• Labelled transition logic: An outline
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formally grounded software specification method