Borrow it
Coverart for item
The Resource 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.)

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

Creator
Contributor
Summary
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
Language
eng
Work
Publication
Extent
1 online resource (vi, 429 pages)
Contents
  • 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
Isbn
9783540446675
Instance
Label
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
Title
Lectures on formal methods and performance analysis
Title remainder
first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures
Statement of responsibility
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
COO
Dewey number
004/.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
E34 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
EEF/Euro Summer School on Trends in Computer Science
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1967-
http://library.link/vocab/relatedWorkOrContributorName
  • Brinksma, Ed
  • Hermanns, Holger
  • Katoen, Joost-Pieter
Series statement
Lecture notes in computer science,
Series volume
2090
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Formal methods (Computer science)
Label
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.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
48961317
Dimensions
unknown
Extent
1 online resource (vi, 429 pages)
Form of item
online
Isbn
9783540446675
Lccn
2001049290
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-44667-2
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)48961317
Label
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.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
48961317
Dimensions
unknown
Extent
1 online resource (vi, 429 pages)
Form of item
online
Isbn
9783540446675
Lccn
2001049290
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-44667-2
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)48961317

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...