Lendle

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, i… more

Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound comprom… more

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysi… more

This book presents a “practical theory” of reactive systems, with formal foundations in Temporal Logic of Actions. The theory supports incremental development of operational, object-oriented models in steps that preserve already established… more

This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.The 25 revised full papers presented were carefully selected for inclusion by… more

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construc… more

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM‘97, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three invited presentations by international… more

‘Downright revolutionary… the title is a major understatement… ‘Quantum Programming’ may ultimately change the way embedded software is designed.’ — Michael Barr, Editor-in-Chief, Embedded Systems Programming magazine (Click here

This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002.The 18 regular papers and one tool presentation presented to… more

This book constitutes the refereed proceedings of the 7th International Conference on Algebraic Methodology and Software Technology, AMAST‘98, held in Amazonia, Brazil in January 1999.The 29 revised full papers presented were carefully sele… more

This book provides a detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems.Real-Time and Multi-Agent Systems bri… more

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.It includes full papers or extended abstracts of the invited talks, refereed… more

Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics alone. Today, there is moreand more interestfrom industry in formal methods based on mathematics. Thisinterest ha… more

Design Methods for Reactive Systems describes methods and techniques for the design of software systems-particularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workf… more