Hets

swMATH7017MaRDI QIDQ19080FDOQ19080

Author name not available (Why is that?)

Cited In (63)

• Project Abstract: Logic Atlas and Integrator (LATIN)
• A scalable module system
• A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
• Representing model theory in a type-theoretical logical framework
• Automating Change of Representation for Proofs in Discrete Mathematics
• Change Management for Heterogeneous Development Graphs
• Refinement Trees: Calculi, Tools, and Applications
• Institution-based encoding and verification of simple UML state machines in CASL/SPASS
• Diagram combinators in MMT
• A Heterogeneous Approach to UML Semantics
• The higher-order prover \textsc{Leo}-II
• A computational framework for conceptual blending
• Foundations of algebraic specification and formal software development.
• CoFI with Don Sannella
• Partial pushout semantics of generics in DOL
• Applications and Theory of Petri Nets 2005
• 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
• Model-Driven Engineering in the Heterogeneous Tool Set
• 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
• A Proof Theoretic Interpretation of Model Theoretic Hiding
• Towards Logical Frameworks in the Heterogeneous Tool Set Hets
• Hybrid Specification of Reactive Systems: An Institutional Approach
• 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
• Lambda Expressions in Casl Architectural Specifications
• Generalized Theoroidal Institution Comorphisms
• Inspection and selection of representations
• Institutions for OCL-Like Expression Languages
• Towards MKM in the Large: Modular Representation and Scalable Software Architecture
• HasCasl: integrated higher-order specification and program development
• Grothendieck inclusion systems
• Hybrid dynamic logic institutions for event/data-based systems
• Title not available (Why is that?)
• Fundamental Approaches to Software Engineering
• Towards an Institutional Framework for Heterogeneous Formal Development in UML
• Compositional Modelling and Reasoning in an Institution for Processes and Data
• Refinement in hybridised institutions
• Heterogeneous Logical Environments for Distributed Specifications
• Parchments for CafeOBJ Logics
• The Verigraph system for graph transformation
• A Maude environment for CafeOBJ
• Bootstrapping Types and Cotypes in HasCASL
• CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
• 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
• A Foundational View on Integration Problems
• An Institution for Object-Z with Inheritance and Polymorphism
• Bootstrapping Inductive and Coinductive Types in HasCASL
• Building Specifications in the Event-B Institution
• Dimensions of Formality: A Case Study for MKM in Software Engineering
• Title not available (Why is that?)

This page was built for software: Hets