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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2019

Representing human reasoning and argumentation requires robust formalisms that go beyond classical, deductive logics in dealing…

2017

We develop an extension of institution theory that accommodates implicitly the partiality of the signature morphisms and its…

2017

Institution theory is a categorical approach to abstract model theory free of commitment to any particular logical system. As…

2016

The aim of this work is to provide a special kind of conservative translation between abstract logics, namely an \textit{abstract…

2016

Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and…

2014

In this article, we define an approach for model transformation. We use the example of UML Activity Diagram (UML AD) and Event-B…

2013

Research evaluation is a necessity for management of academic units (scientists, research groups, departments, institutes…

2008

This paper introduces the new development of institutional theories on corporate diversification,and points out many conflicting…

2007

The theory of “institutions” [40] is a categorical universal model theory which formalises the intuitive notion of logical system…

2006

Recently, production of Tamiflu is a controversial issue. Because of Tamiflu is a patent right owning to Roche. The protection of…