A specification formalism for interacting objects

MaRDI QIDQ2718776zbMATH OpenFDO

Authors Olaf Owe

Publication date 9 May 2001

Published in Proceedings of the Estonian Academy of Sciences. Physics, Mathematics (Search for Journal in Brave)

zbMATH Keywords

proof systemrequirement specification of objects

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specifying concurrent objects as communicating processes
• Object Specification Logic
• Denotational semantics of object specification
• scientific article; zbMATH DE number 1303442
• Model-based specification

This page was built for publication: A specification formalism for interacting objects

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