A Process Algebraic Approach to Software Architecture Design

• Main Authors: Aldini, Alessandro (Author), Bernardo, Marco (Author), Corradini, Flavio (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2010.
• Subjects: Computer science.; Computer system failures.; Software engineering.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; System Performance and Evaluation.

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