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

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional features and their performance properties has become blurred. During the last decade, this trend has motivated and increased interest in combining insights from the field of formal methods, traditionally focussed on functionality, with techniques from performance modeling and analysis. The 11 chapters in this book present the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

この本の情報

書名 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
著作者等 Brinksma, Ed
Katoen, Joost-Pieter
Brinksma Ed.
Hermanns Holger
Katoen Jost-Pieter
EEF/Euro Summer School on Trends in Computer Science
シリーズ名 Lecture notes in computer science
出版元 Springer
刊行年月 c2001
ページ数 vi, 429 p.
大きさ 24 cm
ISBN 3540424792
NCID BA53479204
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想