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...
Saved in:
| Main Authors: | , , |
|---|---|
| 企业作者: | |
| 格式: | 电子 电子书 |
| 语言: | English |
| 出版: |
London :
Springer London : Imprint: Springer,
2010.
|
| 版: | 1st ed. 2010. |
| 主题: | |
| 在线阅读: | https://doi.org/10.1007/978-1-84800-223-4 |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|