Stochastic Analysis of Dynamic Software Architectures

2020 ◽  
pp. 197-214
Author(s):  
Reiko Heckel ◽  
Gabriele Taentzer
Keyword(s):  
Stochastic Analysis ◽  
Software Architectures ◽  
Dynamic Software

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

scholarly journals Modelling Dynamic Software Architectures using Typed Graph Grammars

2008 ◽  
Vol 213 (1) ◽  
pp. 39-53 ◽  
Author(s):  
Roberto Bruni ◽  
Antonio Bucchiarone ◽  
Stefania Gnesi ◽  
Hernán Melgratti
Keyword(s):  
Software Architectures ◽  
Graph Grammars ◽  
Dynamic Software

Modeling and enforcing invariants of dynamic software architectures

2010 ◽  
Vol 11 (1) ◽  
pp. 127-149 ◽  
Author(s):  
Slim Kallel ◽  
Mohamed Hadj Kacem ◽  
Mohamed Jmaiel
Keyword(s):  
Software Architectures ◽  
Dynamic Software
Sign in / Sign up

Export Citation Format

Share Document