scientific article; zbMATH DE number 2080001
From MaRDI portal
Publication:4472182
zbMath1044.68560MaRDI QIDQ4472182
Ana Cavalcanti, J. C. P. Woodcock
Publication date: 3 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2272/22720184.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Building a Modal Interface Theory for Concurrency and Data ⋮ Cameo: an alternative model of concurrency for Eiffel ⋮ Angelic nondeterminism in the unifying theories of programming ⋮ Responsiveness and stable revivals ⋮ Efficient symbolic computation of process expressions ⋮ A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency ⋮ rCOS: Defining Meanings of Component-Based Software Architectures ⋮ Unifying Theories of Programming in Isabelle ⋮ Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ A Two-Way Path Between Formal and Informal Design of Embedded Systems ⋮ A CSP model of Eiffel's SCOOP ⋮ Unnamed Item ⋮ A denotational semantics for Handel-C ⋮ Interface theories for concurrency and data ⋮ A semantics for behavior trees using CSP with specification commands ⋮ A timeband framework for modelling real-time systems ⋮ CSP with Hierarchical State ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ On integrating confidentiality and functionality in a formal method ⋮ Refinement patterns for ASTDs ⋮ The behavioural semantics of Event-B refinement ⋮ Three Approaches to Timed External Choice in UTP ⋮ Isabelle/UTP: A Mechanised Theory Engineering Framework ⋮ Towards Algebraic Semantics of Circus Time ⋮ A UTP semantics for \textsf{Circus} ⋮ Simulink Timed Models for Program Verification ⋮ Type Checking Specifications
Uses Software
