Hets
From MaRDI portal
Software:19080
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