Marco Bernardo / Jane Hillston (eds.)

Formal Methods for Performance Evaluation

7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
Herausgegeben:Bernardo, Marco; Hillston, Jane

• Broschiertes Buch

Produktbeschreibung

Performance Modelling and Markov Chains.- Queueing Networks.- to Generalized Stochastic Petri Nets.- Stochastic Process Algebras.- A Survey of Markovian Behavioral Equivalences.- Stochastic Model Checking.- Fluid Models in Performance Analysis.- Tackling Large State Spaces in Performance Modelling.- Data Representation and Efficient Solution: A Decision Diagram Approach.- to Software Performance Engineering: Origins and Outstanding Problems.- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.

Produktdetails

• Lecture Notes in Computer Science 4486
• Verlag: Springer, Berlin
• Artikelnr. des Verlages: 12063000
• Seitenzahl: 484
• Erscheinungstermin: 18. Mai 2007
• Englisch
• Abmessung: 235mm x 155mm x 27mm
• Gewicht: 676g
• ISBN-13: 9783540724827
• ISBN-10: 3540724826
• Artikelnr.: 22818224

Autorenporträt

Marco Bernardo, University of Urbino, Italy / Jane Hillston, University of Edinburgh, UK

Inhaltsangabe

Performance Modelling and Markov Chains.- Queueing Networks.- to Generalized Stochastic Petri Nets.- Stochastic Process Algebras.- A Survey of Markovian Behavioral Equivalences.- Stochastic Model Checking.- Fluid Models in Performance Analysis.- Tackling Large State Spaces in Performance Modelling.- Data Representation and Efficient Solution: A Decision Diagram Approach.- to Software Performance Engineering: Origins and Outstanding Problems.- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.