Related Books

A Compositional Approach to Performance Modelling
Language: en
Pages: 172
Authors: Jane Hillston
Categories: Computers
Type: BOOK - Published: 2005-06-30 - Publisher: Cambridge University Press

Describes new theory for performance modelling and applies it to communication systems.
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Language: en
Pages: 224
Authors: Luca de Alfaro, Stephen Gilmore
Categories: Mathematics
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among
Fundamental Approaches to Software Engineering
Language: en
Pages: 488
Authors: Marsha Chechik, Martin Wirsing
Categories: Computers
Type: BOOK - Published: 2009-03-28 - Publisher: Springer

This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2
A Process Algebraic Approach to Software Architecture Design
Language: en
Pages: 304
Authors: Alessandro Aldini, Marco Bernardo, Flavio Corradini
Categories: Computers
Type: BOOK - Published: 2010-03-14 - Publisher: Springer Science & Business Media

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of
Radical Innovations of Software and Systems Engineering in the Future
Language: en
Pages: 357
Authors: Martin Wirsing, Simonetta Balsamo
Categories: Computers
Type: BOOK - Published: 2004-03-18 - Publisher: Springer Science & Business Media

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002, held in Venice, Italy, in October 2002. The 24 revised full papers presented were carefully reviewed and selected from the 36 invited workshop presentations. The