Specification of software systems.
DOI10.1007/978-0-85729-277-3zbMATH Open1243.68001OpenAlexW4301134968MaRDI QIDQ625100FDOQ625100
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
Recommendations
abstractiontemporal logicformal specificationsZCCSVDMBdomain modelsLarchmodel-based specificationsObj3Object-Zproperty-oriented specifications
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Specifying Software
- What causes a system to satisfy a specification?
- Modelling Systems
- Software engineering 1. Abstraction and modelling.
- Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen.
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Formal Method for the Abstract Specification of Software
- Software specifcation methods. On overview using a case study.
- Bounding pandemic spread by heat spread
- Title not available (Why is that?)
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)
