תמונות העטיפה

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

תיאור מלא

שמור ב:
מידע ביבליוגרפי
Main Authors: Aldini, Alessandro. (Author, http://id.loc.gov/vocabulary/relators/aut), Bernardo, Marco. (http://id.loc.gov/vocabulary/relators/aut), Corradini, Flavio. (http://id.loc.gov/vocabulary/relators/aut)
מחבר תאגידי: SpringerLink (Online service)
פורמט: אלקטרוני ספר אלקטרוני
שפה:English
יצא לאור: London : Springer London : Imprint: Springer, 2010.
מהדורה:1st ed. 2010.
נושאים:
Software engineering.
Computer system failures.
Software Engineering/Programming and Operating Systems.
Software Engineering.
System Performance and Evaluation.
גישה מקוונת:https://doi.org/10.1007/978-1-84800-223-4
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תוכן הענינים:
  • 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.

פריטים דומים