Foundations of algebraic specification and formal software development.
From MaRDI portal
Recommendations
Cited in
(71)- Observational refinement process
- Van Kampen Colimits and Path Uniqueness
- Integrating ADTs in KeY and their application to history-based reasoning about collection
- Partialising institutions
- Algebraic properties and transformations of monographs
- Modularity of ontologies in an arbitrary institution
- Integrating ADTs in KeY and Their Application to History-Based Reasoning
- Preservation in many-valued truth institutions
- Building Specifications in the Event-B Institution
- Structured specification of paraconsistent transition systems
- On the role of logic and algebra in software engineering
- (Heterogeneous) structured specifications in logics without interpolation
- CafeOBJ Traces
- Abstract constraint data types
- The foundational legacy of ASL
- Institutions for SQL database schemas and datasets
- A 2-categorical framework for the syntax and semantics of many-sorted equational logic
- Term charters
- Toward formal development of programs from algebraic specifications: model-theoretic foundations
- Refinement in hybridised institutions
- Monographs, a category of graph structures
- The institution-theoretic scope of logic theorems
- Comorphisms of structured institutions
- scientific article; zbMATH DE number 46424 (Why is no real title available?)
- Term-Generic Logic
- Dynamic logic with binders and its application to the development of reactive systems
- Parchments for CafeOBJ logics
- Semantics of multiway dataflow constraint systems
- Functorial semantics of first-order views
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- Implicit Partiality of Signature Morphisms in Institution Theory
- Generic constructions for behavioral specifications
- The distributed ontology, modeling and specification language -- DOL
- Glushkov's algorithmic algebras and automated parallel computing design
- Essential concepts of algebraic specification and program development
- MiniBrass: soft constraints for MiniZinc
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation
- Foundations for structuring behavioural specifications
- Refinement by Interpretation in a General Setting
- Nominative data with ordered set of names
- A proof theoretic interpretation of model theoretic hiding
- Symbolic execution based on language transformation
- Composition-nominative logics as institutions
- Institutions for OCL-like expression languages
- scientific article; zbMATH DE number 1860657 (Why is no real title available?)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions
- Infinitary rewriting: closure operators, equivalences and models
- Parameterisation for abstract structured specifications
- Graded consequence: an institution theoretic study
- Software tools for automation of parallel programming on the basis of algebra of algorithms
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
- Behavioural and abstractor specifications revisited
- CoFI with Don Sannella
- Exception tracking in an open world
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- A logic for the stepwise development of reactive systems
- On the algebra of structured specifications
- Generalised graded interpolation
- Manifest domains: analysis and description
- An axiomatic approach to structuring specifications
- Hybrid dynamic logic institutions for event/data-based systems
- Logical systems. I: Internal calculi.
- Formalization of universal algebra in Agda
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- CASL: the Common Algebraic Specification Language.
- Parallel rewriting of attributed graphs
- scientific article; zbMATH DE number 3913704 (Why is no real title available?)
- On the existence of translations of structured specifications
- Specification of systems with parameterised events: An institution-independent approach
- Introducing \(H\), an institution-based formal specification and verification language
This page was built for publication: Foundations of algebraic specification and formal software development.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q610397)
