A formally grounded software specification method

DOI10.1016/J.JLAP.2005.09.003zbMATH Open1088.68103OpenAlexW2118793464MaRDI QIDQ2369031FDOQ2369031

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• CASL reference manual. The complete documentation of the common algebraic specification language.
• CASL: the Common Algebraic Specification Language.
• The algebra of stream processing functions
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specification of abstract dynamic-data types: A temporal logic approach
• Labelled transition logic: An outline
• Title not available (Why is that?)
• Formalism and method
• A formally grounded software specification method
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fundamental Approaches to Software Engineering

Cited In (12)

• A derivation strategy for formal specifications from natural language requirements models
• A formal approach to object-oriented software engineering
• Title not available (Why is that?)
• A formally grounded software specification method
• Fundamental Approaches to Software Engineering
• Formal Specification - A Comparison of Two Techniques
• Title not available (Why is that?)
• A Formal Method for the Abstract Specification of Software
• Casl-Mdl, modelling dynamic systems with a formal foundation and a UML-like notation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• CoFI
• CASL

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)