04006nam 22008415 450 991048357830332120200702112307.01-280-94073-597866109407383-540-72522-910.1007/978-3-540-72522-0(CKB)1000000000478506(EBL)3037335(SSID)ssj0000157233(PQKBManifestationID)11151058(PQKBTitleCode)TC0000157233(PQKBWorkID)10130450(PQKB)10758285(DE-He213)978-3-540-72522-0(MiAaPQ)EBC3037335(MiAaPQ)EBC6312159(PPN)123162319(EXLCZ)99100000000047850620100301d2007 u| 0engur|n|---|||||txtccrFormal 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 Hillston1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (474 p.)Programming and Software Engineering ;4486Includes index.3-540-72482-6 Includes bibliographical references and author index.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.Programming and Software Engineering ;4486ComputersSoftware engineeringProgramming languages (Electronic computers)Computer logicSpecial purpose computersComputer communication systemsTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSpecial Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Computers.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.004.0151Bernardo Marcoedthttp://id.loc.gov/vocabulary/relators/edtHillston Janeedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483578303321Formal Methods for Performance Evaluation772734UNINA