Hets
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Building Specifications in the Event-B Institution
- Refinement in hybridised institutions
- Heterogeneous Logical Environments for Distributed Specifications
- Change management for heterogeneous development graphs
- The Verigraph system for graph transformation
- A Maude environment for CafeOBJ
- Refinement trees: calculi, tools, and applications
- scientific article; zbMATH DE number 7178360 (Why is no real title available?)
- A formal proof generator from semi-formal proof documents
- Bootstrapping Types and Cotypes in HasCASL
- The role of logical interpretations in program development
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
- Institutions for OCL-like expression languages
- Bootstrapping Inductive and Coinductive Types in HasCASL
- A scalable module system
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- Representing model theory in a type-theoretical logical framework
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- Automating Change of Representation for Proofs in Discrete Mathematics
- Parchments for CafeOBJ logics
- 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
- The higher-order prover \textsc{Leo}-II
- A computational framework for conceptual blending
- Foundations of algebraic specification and formal software development.
- A Heterogeneous Approach to UML Semantics
- Hybrid specification of reactive systems: an institutional approach
- CoFI with Don Sannella
- Partial pushout semantics of generics in DOL
- Towards MKM in the large: modular representation and scalable software architecture
- CSP-CASL-Prover: a generic tool for process and data refinement
- A proof theoretic interpretation of model theoretic hiding
- Towards logical frameworks in the heterogeneous tool set Hets
- A foundational view on integration problems
- An institution for Object-Z with inheritance and polymorphism
- Applications and Theory of Petri Nets 2005
- Lambda expressions in Casl architectural specifications
- Project abstract: logic atlas and integrator (LATIN)
- Dimensions of formality: a case study for MKM in software engineering
- 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
- HasCasl
- CoFI
- CASL
- CCSL
- MAYA
- foaf
- LAD
- GtkMathView
- OBJ3
- jsMath
- CafeOBJ
- Atelier B
- MMT
- NNexus
- TNTBase
- MathDox
- STEXIDE
- STEX+
- Formulator MathML
- gaia
- CRC 3
- MTT
- Dr.Doodle
- CSP-prover
- ModalCasl
- OnTrack
- PVSio-web
- Specware
- EPK-fix
- HTab
- CoCasl
- AgsyHOL
- HyLoTab
- K-Java
- CafeInMaude
- Openproof
- LATIN
- Speedith
- AGREE
- eMoflon
- EMorF
- Verigraph
- CITP
- Vickrey_Clarke_Groves
- Quasi-Boolean encodings and conditionals in algebraic specification
- CiMPA
- CiMPG
- Adimen-SUMO
- Amulet
- JSNice
- Integrating Maude into Hets
- 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
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
This page was built for software: Hets
