A formally grounded software specification method

DOI10.1016/J.JLAP.2005.09.003MaRDI QIDQ2369031zbMATH OpenOpenAlexFDO

Authors Christine Choppy, Gianna Reggio

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

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

Recommendations

• A Formal Method for the Abstract Specification of Software
• scientific article; zbMATH DE number 1350767
• scientific article; zbMATH DE number 5722463
• Using formal methods to specify the functional properties of engineering software
• scientific article; zbMATH DE number 897908
• scientific article; zbMATH DE number 1481757

Cites work

• scientific article; zbMATH DE number 1617294 (Why is no real title available?)
• scientific article; zbMATH DE number 1693554 (Why is no real title available?)
• scientific article; zbMATH DE number 1696887 (Why is no real title available?)
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• scientific article; zbMATH DE number 1179975 (Why is no real title available?)
• scientific article; zbMATH DE number 1956483 (Why is no real title available?)
• scientific article; zbMATH DE number 2087420 (Why is no real title available?)
• scientific article; zbMATH DE number 1860658 (Why is no real title available?)
• A formally grounded software specification method
• CASL reference manual. The complete documentation of the common algebraic specification language.
• 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.
• Formalism and method
• Fundamental Approaches to Software Engineering
• Labelled transition logic: An outline
• Specification of abstract dynamic-data types: A temporal logic approach
• The algebra of stream processing functions

Cited in

(12)

• A derivation strategy for formal specifications from natural language requirements models
• A formal approach to object-oriented software engineering
• scientific article; zbMATH DE number 1262881 (Why is no real title available?)
• A formally grounded software specification method
• Fundamental Approaches to Software Engineering
• Formal Specification - A Comparison of Two Techniques
• scientific article; zbMATH DE number 194792 (Why is no real title available?)
• A Formal Method for the Abstract Specification of Software
• Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation
• scientific article; zbMATH DE number 1566490 (Why is no real title available?)
• scientific article; zbMATH DE number 5722463 (Why is no real title available?)
• scientific article; zbMATH DE number 1481757 (Why is no real title available?)

Describes a project that uses

Uses Software

• CASL
• CoFI

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

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