Specification and Development of Interactive Systems
From MaRDI portal
Publication:2725941
DOI10.1007/978-1-4613-0091-5zbMath0981.68115OpenAlexW1503029938MaRDI QIDQ2725941
Publication date: 12 July 2001
Published in: Monographs in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4613-0091-5
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44)
Related Items (33)
Modeling for Verification ⋮ What Is a Multi-modeling Language? ⋮ A secrecy-preserving language for distributed and object-oriented systems ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Splitting atoms safely ⋮ Multifunctional software systems: Structured modeling and specification of functional requirements ⋮ The refinement calculus of reactive systems ⋮ Compositional reasoning about active objects with shared futures ⋮ Specification and verification of concurrent systems by causality and realizability ⋮ On specifications and proofs of timed circuits ⋮ Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism ⋮ Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems ⋮ Observable behavior of distributed systems: component reasoning for concurrent objects ⋮ A sound and complete reasoning system for asynchronous communication with shared futures ⋮ Verifying of interface assertions for infinite state Mealy machines ⋮ Associative composition of components with double-sided interfaces ⋮ Dynamic networks of heterogeneous timed machines ⋮ RiskStructures: a design algebra for risk-aware machines ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Refinement-Based Verification of Interactive Real-Time Systems ⋮ A Model of Dynamic Systems ⋮ Dynamic consistency in process algebra: from paradigm to ACP ⋮ Fixing Zeno gaps ⋮ Lazy behavioral subtyping ⋮ Implementing Services by Partial State Machines ⋮ A domain-specific language for cryptographic protocols based on streams ⋮ An algebra of hybrid systems ⋮ Specifying Services with UML and UML-RT ⋮ Interactive verification of architectural design patterns in FACTum ⋮ Computability and realizability for interactive computations ⋮ Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects ⋮ A Formal Framework for Interactive Agents ⋮ Stepwise refinement of sequence diagrams with soft real-time constraints
This page was built for publication: Specification and Development of Interactive Systems
