Skip to search formSkip to main contentSkip to account menu

Institution (computer science)

Known as: Institution (disambiguation) 
The notion of institution has been created by Joseph Goguen and Rod Burstall in the late 1970sin order to deal with the "population explosion among… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Common Algebraic Specification LanguageComputer scienceFirst-order logicInstitutional model theory

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Institution-based UML activity diagram transformation with semantic preservation
This paper presents a specific tool, called MAV-UML-AD, allowing the specification and the verification of workflow models using… 
2017
2017
Intentional modeling with institution theory
Institution theory is a categorical approach to abstract model theory free of commitment to any particular logical system. As… 
2017
2017
3/2-Institutions: an institution theory for conceptual blending
We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its… 
2014
2014
Graded consequence: an institution theoretic study
We develop a general study of graded consequence (of many-valued logic) in an institution theoretic (in the sense of Goguen and… 
2014
2014
Encoding Hybridised Institutions into First Order Logic
A ‘hybridisation’ of a logic, referred to as the base logic, consists of developing the characteristic features of hybrid logic… 
2014
2014
UML activity diagram to event-B: A model transformation approach based on the institution theory
Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a… 
2014
2014
Towards an Institutional Representation for the B Model Oriented Specification
In the present paper, we provide an institutional representation of Event-B specification. In the context of heterogeneous… 
2013
2013
Institution Building and Variation in the Formation of the Australian Wool Market
The relocation of the wool market from London to the major Australian port cities from the late nineteenth century required the… 
2013
2013
Interpolation in logics with constructors
Highly Cited
2008
Highly Cited
2008
A Diagrammatic Logic for Object-Oriented Visual Modeling
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)