✦ LIBER ✦

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 4422 || Scenario-Driven Dynamic Analysis of Distributed Architectures

✍ Scribed by Dwyer, Matthew B.; Lopes, Antónia

Book ID: 121872597
Publisher: Springer Berlin Heidelberg
Year: 2007
Weight: 1009 KB
Category: Article
ISBN: 3540712895
DOI: 10.1007/978-3-540-71289-3_12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 4422 || Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework

✍ Dwyer, Matthew B.; Lopes, Antónia 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 530 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6603 || Automatic Flow Analysis for Event-B

✍ Giannakopoulou, Dimitra; Orejas, Fernando 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 338 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7212 || Language-Theoretic Abstraction Refinement

✍ de Lara, Juan; Zisman, Andrea 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 264 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7212 || Explanations for Regular Expressions

✍ de Lara, Juan; Zisman, Andrea 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 289 KB

[Lecture Notes in Computer Science] Qual

[Lecture Notes in Computer Science] Quality of Software Architectures. Models and Architectures Volume 5281 || Model-Driven Performance Analysis

✍ Becker, Steffen; Plasil, Frantisek; Reussner, Ralf 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 586 KB

Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the full software system’s complexity. It allows softw

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6013 || Formal Analysis and Verification of Self-Healing Systems

✍ Rosenblum, David S.; Taentzer, Gabriele 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 923 KB