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

List of contents

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.

Product details

• Assisted by: Marco Bernardo (Editor), Jane Hillston (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 18.05.2007
• EAN: 9783540724827
• ISBN: 978-3-540-72482-7
• No. of pages: 472
• Dimensions: 155 mm x 26 mm x 235 mm
• Weight: 676 g
• Illustrations: VII, 472 p.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; B, Software Engineering, Netzwerk-Hardware, Wissensbasierte Systeme, Expertensysteme, Compiler und Übersetzer, computer science, Theory of Computation, Logics and Meanings of Programs, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Computers, Mathematical theory of computation, Computer programming / software engineering, Expert systems / knowledge-based systems, Computer architecture & logic design, Computer communication systems, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Network hardware, Special purpose computers, Special Purpose and Application-Based Systems, Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters