Institutions: An abstract framework for formal specifications
From MaRDI portal
Recommendations
Cited in
(33)- On the existence of free models in abstract algebraic institutions
- Specifications in an arbitrary institution
- On institutions for modular coalgebraic specifications.
- Building and integrating semantic theories over institutions
- Logical systems for structured specifications.
- Specifying with syntactic theory functors
- Introducing H, an institution-based formal specification and verification language
- Constructor-based observational logic
- scientific article; zbMATH DE number 1617302 (Why is no real title available?)
- scientific article; zbMATH DE number 1638642 (Why is no real title available?)
- scientific article; zbMATH DE number 1696910 (Why is no real title available?)
- scientific article; zbMATH DE number 3880083 (Why is no real title available?)
- scientific article; zbMATH DE number 3980546 (Why is no real title available?)
- scientific article; zbMATH DE number 4037182 (Why is no real title available?)
- scientific article; zbMATH DE number 4043230 (Why is no real title available?)
- scientific article; zbMATH DE number 4097351 (Why is no real title available?)
- Very abstract specifications: a formalism independent approach
- An axiomatic approach to structuring specifications
- Institutions: abstract model theory for specification and programming
- scientific article; zbMATH DE number 683360 (Why is no real title available?)
- scientific article; zbMATH DE number 2079667 (Why is no real title available?)
- scientific article; zbMATH DE number 3997131 (Why is no real title available?)
- scientific article; zbMATH DE number 1397395 (Why is no real title available?)
- Moving specification structures between logical systems
- An institution for Event-B
- An institution for Object-Z with inheritance and polymorphism
- An Institution for Imperative RSL Specifications
- Object oriented institutions to specify symbolic computation systems
- Service Specification and Matchmaking Using Description Logic
- Recent Trends in Algebraic Development Techniques
- Structured specification of paraconsistent transition systems
- Structural induction in institutions
- A categorical study on the finiteness of specifications
This page was built for publication: Institutions: An abstract framework for formal specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702594)
