Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Brinksma, Ed (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hermanns, Holger (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Katoen, Joost-Pieter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2090
• Θέματα: Software engineering.; Computer engineering.; Computer logic.; Computer system failures.; Computer communication systems.; Software Engineering/Programming and Operating Systems.; Computer Engineering.; Logics and Meanings of Programs.; Software Engineering.; System Performance and Evaluation.; Computer Communication Networks.

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and...

Πίνακας περιεχομένων:

• Formal Methods for Performance Evaluation
• Markovian Models for Performance and Dependability Evaluation
• to Stochastic Petri Nets
• Non-Markovian Analysis
• Process Algebra and Markov Chains
• Verification of Randomized Distributed Algorithms
• Constructing Automata from Temporal Logic Formulas: A Tutorial?
• Exploiting Structure in Solution: Decomposing Compositional Models
• Stochastic Activity Networks: Formal Definitions and Concepts?
• Distributed and Structured Analysis Approaches to Study Large and Complex Systems?
• General Distributions in Process Algebra.