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...
Đã lưu trong:
| Những tác giả chính: | , , |
|---|---|
| Tác giả của công ty: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | English |
| Được phát hành: |
London :
Springer London : Imprint: Springer,
2010.
|
| Phiên bản: | 1st ed. 2010. |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-1-84800-223-4 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Mục lục:
- Process Calculi and Behavioral Equivalences
- Process Algebra
- Deterministically Timed Process Algebra
- Stochastically Timed Process Algebra
- Process Algebra for Software Architecture
- Component-Oriented Modeling
- Component-Oriented Functional Verification
- Component-Oriented Performance Evaluation
- Trading Dependability and Performance.