scientific article
From MaRDI portal
Publication:3859249
zbMath0424.68019MaRDI QIDQ3859249
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items
Refinement of events in the development of real-time distributed systems, The weakest prespecification, Possible values: exploring a concept for concurrency, A categorical treatment of pre- and post-conditions, The formal specification of abstract data types and their implementation in Fortran 90, Dynamic program slicing, A logical framework for evolving software systems, Compositional verification of real-time systems with explicit clock temporal logic, Blaming the client: on data refinement in the presence of pointers, Programming from Galois connections, Balancing expressiveness in formal approaches to concurrency, A reification calculus for model-oriented software specification, Formalization in program development, Multi-relations in Z. A cross between multi-sets and binary relations, Program development by inductive stepwise refinement, Prespecification in data refinement, Assembling a prehistory for formal methods: a personal view, A logic for the stepwise development of reactive systems, Schedulers and finishers: on generating and filtering the behaviours of an event structure, ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING, A proof rule for while loop in VDM, Ours Is to Reason Why, A logic covering undefinedness in program proofs, Non-deterministic data types: Models and implementations, Normal form approach to compiler design
