Essential concepts of algebraic specification and program development
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3872655
- scientific article; zbMATH DE number 978763
- Combining algebraic specifications and procedural tools for correct program development
- Algebraic specification techniques in object oriented programming environments
- Foundations of algebraic specification and formal software development.
- scientific article; zbMATH DE number 3963181
- scientific article; zbMATH DE number 3890710
- scientific article; zbMATH DE number 3954252
- scientific article; zbMATH DE number 910715
- scientific article; zbMATH DE number 977284
Cites work
- scientific article; zbMATH DE number 3837407 (Why is no real title available?)
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- scientific article; zbMATH DE number 3819086 (Why is no real title available?)
- scientific article; zbMATH DE number 3909717 (Why is no real title available?)
- scientific article; zbMATH DE number 3936465 (Why is no real title available?)
- scientific article; zbMATH DE number 3941493 (Why is no real title available?)
- scientific article; zbMATH DE number 3970817 (Why is no real title available?)
- scientific article; zbMATH DE number 4043230 (Why is no real title available?)
- scientific article; zbMATH DE number 3714904 (Why is no real title available?)
- scientific article; zbMATH DE number 3754008 (Why is no real title available?)
- scientific article; zbMATH DE number 3774870 (Why is no real title available?)
- scientific article; zbMATH DE number 3776831 (Why is no real title available?)
- scientific article; zbMATH DE number 42724 (Why is no real title available?)
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- scientific article; zbMATH DE number 683361 (Why is no real title available?)
- scientific article; zbMATH DE number 695093 (Why is no real title available?)
- scientific article; zbMATH DE number 3999262 (Why is no real title available?)
- scientific article; zbMATH DE number 872094 (Why is no real title available?)
- scientific article; zbMATH DE number 958048 (Why is no real title available?)
- Algebraic implementation of abstract data types
- Algebraic system specification and development. A survey and annotated bibliography
- Axioms for abstract model theory
- Behavioural and abstractor specifications
- Foundations of algebraic specification and formal software development.
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
- Institutions: abstract model theory for specification and programming
- Modularising the specification of a small database system in extended ML
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- On observational equivalence and algebraic specification
- On the correctness of modular systems
- Parameterized Programming
- Program development by specification and transformation. The PROSPECTRA methodology, language family, and system
- Proof of correctness of data representations
- Some notes on putting formal specifications to productive use
- Specifications in an arbitrary institution
- Structured algebraic specifications: A kernel language
- Structured theory presentations and logic representations
- Testing equivalences for processes
- The definition of Extended ML: A gentle introduction
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Two impossibility theorems on behaviour specification of abstract data types
Cited in
(24)- scientific article; zbMATH DE number 48697 (Why is no real title available?)
- Algebraic specification techniques in object oriented programming environments
- scientific article; zbMATH DE number 3847387 (Why is no real title available?)
- scientific article; zbMATH DE number 3872655 (Why is no real title available?)
- Logical systems for structured specifications.
- Foundations of algebraic specification and formal software development.
- A new roadmap for linking theories of programming
- scientific article; zbMATH DE number 4111989 (Why is no real title available?)
- Combining algebraic specifications and procedural tools for correct program development
- A coalgebraic perspective on logical interpretations
- CASL: the Common Algebraic Specification Language.
- Observational interpretation of Casl specifications
- scientific article; zbMATH DE number 2143090 (Why is no real title available?)
- An abstract formalization of correct schemas for program synthesis
- A coalgebraic semantics of subtyping
- Development graphs -- proof management for structured specifications
- COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
- Observational refinement process
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- An algebraic approach to population-based evolutionary algorithm generation
- Algebraic signatures enriched by dependency structure
- scientific article; zbMATH DE number 3936493 (Why is no real title available?)
- The definition of Extended ML: A gentle introduction
- Heterogeneous Logical Environments for Distributed Specifications
This page was built for publication: Essential concepts of algebraic specification and program development
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377322)
