scientific article
From MaRDI portal
Publication:2757272
zbMath1001.68025MaRDI QIDQ2757272
Michael Stal, Douglas C. Schmidt, Frank Buschmann, Hans Rohnert
Publication date: 26 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) General topics in the theory of software (68N01) Software, source code, etc. for problems pertaining to computer science (68-04)
Related Items (4)
Verifying distributed real-time properties of embedded systems via graph transformations and model checking ⋮ Highly dependable concurrent programming using design for verification ⋮ Conformance notions for the coordination of interaction components ⋮ Experience of building an architecture-based generator using GenVoca for distributed systems
This page was built for publication:
