scientific article
From MaRDI portal
Publication:3579033
zbMath1215.68078MaRDI QIDQ3579033
No author found.
Publication date: 5 August 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items (6)
Method redefinition-ensuring alternative behaviors ⋮ Rigorous development of component-based systems using component metadata and patterns ⋮ Threaded behavior protocols ⋮ Architecture-based resilience evaluation for self-adaptive systems ⋮ A framework for specifying and verifying the behaviour of open systems ⋮ An Algebraic Semantics for Contract-Based Software Components
This page was built for publication:
