BOOK-CHAPTER

Specifying distributed software architectures

Jeff MageeNaranker DulaySusan EisenbachJeff Kramer

Year: 1995 Lecture notes in computer science Pages: 137-153   Publisher: Springer Science+Business Media
Keywords:
Darwin (ADL) Computer science Operational semantics Correctness Programming language Process calculus Structuring Semantics (computer science) Notation Theoretical computer science Software engineering Mathematics

Metrics

768
Cited By
21.12
FWCI (Field Weighted Citation Impact)
31
Refs
1.00
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Advanced Software Engineering Methodologies
Physical Sciences →  Computer Science →  Artificial Intelligence
Service-Oriented Architecture and Web Services
Physical Sciences →  Computer Science →  Information Systems
Distributed systems and fault tolerance
Physical Sciences →  Computer Science →  Computer Networks and Communications

Related Documents

BOOK-CHAPTER

Specifying Executable Software Architectures

Flávio OquendoJair LeiteThaı́s Batista

Undergraduate topics in computer science Year: 2016 Pages: 89-97
JOURNAL ARTICLE

Specifying Dynamism in Software Architectures

Robert J. AllenRémi DouenceDavid Garlan

Journal:   OPAL (Open@LaTrobe) (La Trobe University) Year: 2003
BOOK-CHAPTER

Specifying Behavior of Software Architectures

Flávio OquendoJair LeiteThaı́s Batista

Undergraduate topics in computer science Year: 2016 Pages: 65-88
JOURNAL ARTICLE

Specifying dynamic software system architectures

Bran Selić

Journal:   Software & Systems Modeling Year: 2021 Vol: 20 (3)Pages: 595-605
© 2026 ScienceGate Book Chapters — All rights reserved.