Hets

swMATH7017MaRDI QIDQ19080FDOQ19080

Author name not available (Why is that?)

Cited In (63)

• Bootstrapping Inductive and Coinductive Types in HasCASL
• An institution for Object-Z with inheritance and polymorphism
• Dimensions of formality: a case study for MKM in software engineering
• Building Specifications in the Event-B Institution
• Title not available (Why is that?)
• Institutions for OCL-like expression languages
• Enabling collaboration on semiformal mathematical knowledge by semantic web integration
• A scalable module system
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
• Representing model theory in a type-theoretical logical framework
• Parchments for CafeOBJ logics
• Automating Change of Representation for Proofs in Discrete Mathematics
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Diagram combinators in MMT
• Model-driven engineering in the heterogeneous tool set
• A Heterogeneous Approach to UML Semantics
• The higher-order prover \textsc{Leo}-II
• A computational framework for conceptual blending
• Hybrid specification of reactive systems: an institutional approach
• Foundations of algebraic specification and formal software development.
• CSP-CASL-Prover: a generic tool for process and data refinement
• Towards MKM in the large: modular representation and scalable software architecture
• A foundational view on integration problems
• A proof theoretic interpretation of model theoretic hiding
• Towards logical frameworks in the heterogeneous tool set Hets
• CoFI with Don Sannella
• Partial pushout semantics of generics in DOL
• Applications and Theory of Petri Nets 2005
• Project abstract: logic atlas and integrator (LATIN)
• Lambda expressions in Casl architectural specifications
• Automating change of representation for proofs in discrete mathematics (extended version)
• The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
• Development graphs -- proof management for structured specifications
• Integrating Maude into Hets
• Quasi-Boolean encodings and conditionals in algebraic specification
• Semantics of multiway dataflow constraint systems
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Specifying with syntactic theory functors
• Compositional modelling and reasoning in an institution for processes and data
• Property Preserving Refinement for Csp-Casl
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• A coalgebraic approach to the semantics of the ambient calculus
• Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Reasoning Support for Casl with Automated Theorem Proving Systems
• Algebraic-coalgebraic specification in CoCASL
• Generalized Theoroidal Institution Comorphisms
• Inspection and selection of representations
• HasCasl: integrated higher-order specification and program development
• Grothendieck inclusion systems
• Hybrid dynamic logic institutions for event/data-based systems
• Fundamental Approaches to Software Engineering
• Refinement in hybridised institutions
• Heterogeneous Logical Environments for Distributed Specifications
• Change management for heterogeneous development graphs
• The Verigraph system for graph transformation
• Refinement trees: calculi, tools, and applications
• A Maude environment for CafeOBJ
• Bootstrapping Types and Cotypes in HasCASL
• A formal proof generator from semi-formal proof documents
• The role of logical interpretations in program development
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

This page was built for software: Hets