Formal Methods for Performance Evaluation [[electronic resource] ] : 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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal Methods for Performance Evaluation [[electronic resource] ] : 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.: | 996466271203316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 4486