Software Architecture - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319489919, 9783319489926
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Hypergraph Clustering for Software Architecture Reconstruction of Data-Tier Software

2016 ◽  
pp. 326-333 ◽  
Author(s):  
Ersin Ersoy ◽  
Kamer Kaya ◽  
Metin Altınışık ◽  
Hasan Sözer
Keyword(s):  
Software Architecture

Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams

2016 ◽  
pp. 210-226 ◽  
Author(s):  
Soraya Mesli-Kesraoui ◽  
Djamal Kesraoui ◽  
Flavio Oquendo ◽  
Alain Bignon ◽  
Armand Toguyeni ◽  
...  
Keyword(s):  
Formal Verification ◽  
Systems Architectures ◽  
Software Intensive

Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems

2016 ◽  
pp. 113-128 ◽  
Author(s):  
Ilias Gerostathopoulos ◽  
Dominik Skoda ◽  
Frantisek Plasil ◽  
Tomas Bures ◽  
Alessia Knauss
Keyword(s):  
Cyber Physical Systems ◽  
Adaptive Software ◽  
Physical Systems ◽  
Self Adaptive ◽  
Software Intensive

Design Decision Documentation: A Literature Overview

2016 ◽  
pp. 84-101 ◽  
Author(s):  
Zoya Alexeeva ◽  
Diego Perez-Palacin ◽  
Raffaela Mirandola
Keyword(s):  
Design Decision ◽  
Literature Overview

Architecture Modeling and Analysis of Security in Android Systems

2016 ◽  
pp. 274-290 ◽  
Author(s):  
Bradley Schmerl ◽  
Jeff Gennari ◽  
Alireza Sadeghi ◽  
Hamid Bagheri ◽  
Sam Malek ◽  
...  
Keyword(s):  
Modeling And Analysis ◽  
Architecture Modeling

scholarly journals Statistical Model Checking of Dynamic Software Architectures

2016 ◽  
pp. 185-200 ◽  
Author(s):  
Everton Cavalcante ◽  
Jean Quilbeuf ◽  
Louis-Marie Traonouez ◽  
Flavio Oquendo ◽  
Thais Batista ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Software Architectures ◽  
Statistical Model Checking ◽  
Dynamic Software

Executing Software Architecture Descriptions with SysADL

2016 ◽  
pp. 129-137 ◽  
Author(s):  
Flavio Oquendo ◽  
Jair Leite ◽  
Thais Batista
Keyword(s):  
Software Architecture

scholarly journals Diversifying Software Architecture for Sustainability: A Value-Based Perspective

2016 ◽  
pp. 55-63 ◽  
Author(s):  
Dalia Sobhy ◽  
Rami Bahsoon ◽  
Leandro Minku ◽  
Rick Kazman
Keyword(s):  
Software Architecture ◽  
A Value
Load More ...
Sign in / Sign up

Export Citation Format

Share Document