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
JOURNAL ARTICLE
Specifying Dynamic Distributed Software Architectures
Virginia C. de PaulaG.R.R. JustoP. R. F. Cunha
Year: 1998 Pages: 7-22
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
Journal: Software & Systems Modeling Year: 2021 Vol: 20 (3)Pages: 595-605