scientific article; zbMATH DE number 3936465
From MaRDI portal
Publication:3707340
Cited in
(70)- Higher-order equational logic for specification, simulation and testing
- Unification: A case-study in data refinement
- Essential concepts of algebraic specification and program development
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
- scientific article; zbMATH DE number 46957 (Why is no real title available?)
- Termination conventions and comparative semantics
- Extended Static Checking by Calculation Using the Pointfree Transform
- Program specification and data refinement in type theory
- Extending rely-guarantee thinking to handle real-time scheduling
- The axiomatization of override and update
- Inherited extension of many-sorted theories
- BOND-GRAPHS FOR INFORMATION SYSTEMS
- A proof rule for while loop in VDM
- On solvability of systems of partial fuzzy relational equations
- Towards leveraging domain knowledge in state-based formal methods
- A formal semantics for sql
- Proof obligations for blocks and procedures
- A guided tour of the mathematics of MetaSoft '88
- Software Development in Relation Algebra with Ampersand
- A state-based approach to communicating processes
- A new roadmap for linking theories of programming
- An observationally complete program logic for imperative higher-order functions
- On methods for safe introduction of operations
- The calculus of context relations
- scientific article; zbMATH DE number 18650 (Why is no real title available?)
- A non-deterministic view on non-classical negations
- Stepwise refinement of sequence diagrams with soft real-time constraints
- Angelic processes for CSP via the UTP
- Override and update
- scientific article; zbMATH DE number 176125 (Why is no real title available?)
- The formal specification of abstract data types and their implementation in Fortran 90
- CASL: the Common Algebraic Specification Language.
- A logical framework for evolving software systems
- Type inference for set theory
- Transposing partial components--an exercise on coalgebraic refinement
- Auxiliary variables in data refinement
- A category theory approach to conceptual data modeling
- Mechanizing some advanced refinement concepts
- Simple consequence relations
- Relation algebra as programming language using the Ampersand compiler
- scientific article; zbMATH DE number 605793 (Why is no real title available?)
- Program refinement in fair transition systems
- How to brew-up a refinement ordering
- Empowering the Event-B method using external theories
- Abstract implementation of algebraic specifications in a temporal logic language
- Assembling a prehistory for formal methods: a personal view
- Design and verification of fault tolerant systems with CSP
- Unifying separation logic and region logic to allow interoperability
- scientific article; zbMATH DE number 550761 (Why is no real title available?)
- A Formal Method for the Abstract Specification of Software
- Unifying theories of programming in Isabelle
- Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems
- Modular structuring of VDM specifications in VVSL
- A logic for Miranda
- A reification calculus for model-oriented software specification
- Proof versus formalization
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- Derivation of efficient parallel programs: An example from genetic sequence analysis
- A design method for embedded software systems
- scientific article; zbMATH DE number 814830 (Why is no real title available?)
- scientific article; zbMATH DE number 3866548 (Why is no real title available?)
- Missing values and dragonfly operations in fuzzy relational compositions
- Consistency-preserving refactoring of refinement structures in Event-B models
- scientific article; zbMATH DE number 3960970 (Why is no real title available?)
- A conceptual and formal framework for the integration of data type and process modeling techniques
- Semantic subtyping with an SMT solver
- A single complete rule for data refinement
- Rough sets and 3-valued logics
- Efficient Well-Definedness Checking
- Algebraic proofs of consistency and completeness
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 Q3707340)
