scientific article; zbMATH DE number 1409638
From MaRDI portal
Publication:4940107
zbMath0944.68124MaRDI QIDQ4940107
Publication date: 2 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (27)
Verifying data refinements using a model checker ⋮ rCOS: a refinement calculus of object systems ⋮ Property transformation under specification change ⋮ Temporal-logic property preservation under Z refinement ⋮ Experiments in program verification using Event-B ⋮ Model evolution and refinement ⋮ Model checking duration calculus: a practical approach ⋮ Linking Event-B and Concurrent Object-Oriented Programs ⋮ Alloy as a Refactoring Checker? ⋮ Refining autonomous agents with declarative beliefs and desires ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Refactoring Object-Oriented Specifications with Data and Processes ⋮ Model transformations across views ⋮ Encapsulating deontic and branching time specifications ⋮ IPL: an integration property language for multi-model cyber-physical systems ⋮ Refinement and verification in component-based model-driven design ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Model checking action system refinements ⋮ Graph transformations for object-oriented refinement ⋮ Testing for refinement in \textsf{Circus} ⋮ Slicing techniques for verification re-use ⋮ An Institution for Object-Z with Inheritance and Polymorphism ⋮ Sound and Relaxed Behavioural Inheritance ⋮ From Predicates to Programs: The Semantics of a Method Language ⋮ Type Checking Specifications ⋮ Domain-specific Semantics and Data Refinement of Object Models ⋮ Automatic Verification of Combined Specifications: An Overview
This page was built for publication:
