Specification of software systems.

DOI10.1007/978-0-85729-277-3zbMath1243.68001OpenAlexW4301134968MaRDI QIDQ625100

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

temporal logicZabstractionObject-ZBformal specificationsCCSVDMdomain modelsLarchmodel-based specificationsObj3property-oriented specifications

Mathematics Subject Classification ID

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

Related Items (1)

Bounding pandemic spread by heat spread

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