A Process Algebraic Approach to Software Architecture Design
Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but in reality they are deeply intertwined and should be part of an integrated view in order to successfully manage the increasing complexity of s...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Aldini, Alessandro (Autor), Bernardo, Marco (Autor), Corradini, Flavio (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London :
Springer London : Imprint: Springer,
2010.
|
Edición: | 1st ed. 2010. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006 /
Publicado: (2006) -
Model-Driven Dependability Assessment of Software Systems
por: Bernardi, Simona, et al.
Publicado: (2013) -
Model-Based Software Performance Analysis
por: Cortellessa, Vittorio, et al.
Publicado: (2011) -
Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings /
Publicado: (2005) -
Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers /
Publicado: (2006)