Specification and Development of Interactive Systems
From MaRDI portal
Publication:2725941
DOI10.1007/978-1-4613-0091-5zbMath0981.68115MaRDI 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
03B45: Modal logic (including the logic of norms)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
03B44: Temporal logic
Related Items
Dynamic networks of heterogeneous timed machines, A Model of Dynamic Systems, Refinement-Based Verification of Interactive Real-Time Systems, 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, Dynamic consistency in process algebra: from paradigm to ACP, Fixing Zeno gaps, Multifunctional software systems: Structured modeling and specification of functional requirements, Lazy behavioral subtyping, Splitting atoms safely, Compositional reasoning about active objects with shared futures, A domain-specific language for cryptographic protocols based on streams, An algebra of hybrid systems, A secrecy-preserving language for distributed and object-oriented systems, Theory and methodology of assumption/commitment based system interface specification and architectural contracts, Associative composition of components with double-sided interfaces, Conditions of contracts for separating responsibilities in heterogeneous systems, Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism, RiskStructures: a design algebra for risk-aware machines, Interactive verification of architectural design patterns in FACTum, Computability and realizability for interactive computations, Stepwise refinement of sequence diagrams with soft real-time constraints, Verifying of interface assertions for infinite state Mealy machines, Specifying Services with UML and UML-RT, Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects, A Formal Framework for Interactive Agents, Modeling for Verification, What Is a Multi-modeling Language?, Implementing Services by Partial State Machines
