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

Algebraic-logical specificationCaslCasl-LtlFormal specificationSpecification 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
• Formal specification. Techniques and applications
• 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

• A formally grounded software specification method
• A global semantics for views
• Algebraic foundations of systems specification
• 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
• 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?)
• Labelled transition logic: An outline
• Specification of abstract dynamic-data types: A temporal logic approach
• The algebra of stream processing functions
• Towards a rigorous semantics of UML supporting its multiview approach
• Using CASL to specify the requirements and the design: A problem specific approach

Cited in

(12)

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

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)