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 / / edited by Marco Bernardo, Jane Hillston

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
• Edizione: 1st ed. 2007.
• Descrizione fisica: 1 online resource (474 p.)
• Disciplina: 004.0151
• Soggetto topico: Computers; Software engineering; Programming languages (Electronic computers); Computer logic; Special purpose computers; Computer communication systems; Theory of Computation; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Computer Communication Networks
• Persona (resp. second.): BernardoMarco; HillstonJane
• Note generali: Includes index.
• Nota di bibliografia: Includes bibliographical references and author index.
• Nota di contenuto: 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.
• Titolo autorizzato: Formal Methods for Performance Evaluation
• ISBN: 1-280-94073-5; 9786610940738; 3-540-72522-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910483578303321
• Lo trovi qui: Univ. Federico II
• Serie: Programming and Software Engineering ; ; 4486