scientific article; zbMATH DE number 3660783
From MaRDI portal
Publication:3859249
zbMATH Open0424.68019MaRDI QIDQ3859249FDOQ3859249
Authors: Cliff B. Jones 
Publication date: 1980
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Cited In (27)
- A categorical treatment of pre- and post-conditions
- Extending rely-guarantee thinking to handle real-time scheduling
- A proof rule for while loop in VDM
- Programming from Galois connections
- Balancing expressiveness in formal approaches to concurrency
- The weakest prespecification
- Blaming the client: on data refinement in the presence of pointers
- Compositional verification of real-time systems with explicit clock temporal logic
- The formal specification of abstract data types and their implementation in Fortran 90
- Non-deterministic data types: Models and implementations
- A logic covering undefinedness in program proofs
- A logical framework for evolving software systems
- Relation-algebraic verification of disjoint-set forests
- Possible values: exploring a concept for concurrency
- Program development by inductive stepwise refinement
- Schedulers and finishers: on generating and filtering the behaviours of an event structure
- Normal form approach to compiler design
- Assembling a prehistory for formal methods: a personal view
- A reification calculus for model-oriented software specification
- Multi-relations in Z. A cross between multi-sets and binary relations
- Refinement of events in the development of real-time distributed systems
- Ours Is to Reason Why
- On formal and cognitive semantics for semantic computing
- Dynamic program slicing
- A logic for the stepwise development of reactive systems
- Formalization in program development
- Prespecification in data refinement
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3859249)
