Título: Duration Calculus: A Formal Approach to Real-Time Systems
Autor: Michael Hansen, Chaochen Zhou
Sinopse: Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction. This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field. The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.
Contexto da obra
Quando a classificação é mais ampla, o contexto do livro costuma depender ainda mais de autoria, tema e edição. “Duration Calculus: A Formal Approach to Real-Time Systems”, de Michael Hansen, Chaochen Zhou, publicado pela editora Springer, em 2003 e com 264 páginas, integra a categoria Livros Variados. Por isso, autoria, edição e tema acabam tendo ainda mais peso na forma de apresentar o livro.
Editora: Springer
Páginas: 264
Ano: 2003
Edição: 2004
Linguagem: pt_BR
ISBN: 3540408231
ISBN13: 9783540408239
Sobre a editora
Os livros da editora Springer apresentam uma leitura densa e focada em temas acadêmicos e científicos, com ênfase em áreas como matemática avançada, ciências naturais, tecnologia e ciências da saúde. A experiência de leitura costuma exigir familiaridade com linguagem técnica e conceitos especializados, refletindo o rigor das pesquisas e análises aprofundadas. O tom varia entre o didático e o expositivo, com obras que vão desde apresentações formais de teorias até relatos detalhados de estudos de caso e revisões sistemáticas. O catálogo sugere uma predominância de textos que dialogam com públicos acadêmicos e profissionais, oferecendo conteúdos que se apoiam em fundamentos históricos, dados empíricos e metodologias precisas.
