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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Aldini, Alessandro (Author), Bernardo, Marco (Author), Corradini, Flavio (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: London : Springer London : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Subjects:
Software engineering.
Electronic digital computers-Evaluation.
Software Engineering.
System Performance and Evaluation.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items