Specification of software systems.

DOI10.1007/978-0-85729-277-3MaRDI QIDQ625100zbMATH OpenOpenAlexFDO

Authors Juan-Miguel Gracia

Publication date 14 February 2011

Published in Texts in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-0-85729-277-3

zbMATH Keywords

abstractiontemporal logicformal specificationsZCCSVDMBdomain modelsLarchmodel-based specificationsObj3Object-Zproperty-oriented specifications

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Cited in

(15)

• Formal methods of analysis of system properties
• Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
• scientific article; zbMATH DE number 2010596 (Why is no real title available?)
• scientific article; zbMATH DE number 1395608 (Why is no real title available?)
• Specifying Software
• What causes a system to satisfy a specification?
• Software engineering 1. Abstraction and modelling.
• Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
• Modelling Systems
• scientific article; zbMATH DE number 1949580 (Why is no real title available?)
• scientific article; zbMATH DE number 194792 (Why is no real title available?)
• A Formal Method for the Abstract Specification of Software
• Software specifcation methods. On overview using a case study.
• Bounding pandemic spread by heat spread
• scientific article; zbMATH DE number 1942449 (Why is no real title available?)

This page was built for publication: Specification of software systems.

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