Formal Techniques for Networked and Distributed Systems - FORTE 2003

DOI10.1007/11965zbMath1279.68063OpenAlexW2501695616MaRDI QIDQ5900950

Manfred Broy

Publication date: 26 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11965

zbMATH Keywords

software architectureservice engineeringlayered architecture

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Multifunctional software systems: Structured modeling and specification of functional requirements

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2003