Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,209,290 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Common Algebraic Specification Language
Computer science
First-order logic
Institutional model theory
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
L O ] 1 0 N ov 2 01 7 Generic partiality for 3 2-institutions
R. Diaconescu
2018
Corpus ID: 123799901
3 2 -institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the…
Expand
2016
2016
Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory
Amine Achouri
,
Leila Jemni Ben Ayed
International Conference on Software and Data…
2016
Corpus ID: 252628
Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and…
Expand
2016
2016
Towards a Software Engineering Approach to Multi-Scale Modeling and Simulation
M. Maouche
,
M. Bettaz
2016
Corpus ID: 7472610
In this work we propose a development methodology aiming to bridge the gap between approaches used by (e)-science communities to…
Expand
2014
2014
Towards an Institutional Representation for the B Model Oriented Specification
Amine Achouri
,
Y. Hlaoui
,
Leila Jemni Ben Ayed
IEEE 38th International Computer Software and…
2014
Corpus ID: 16010304
In the present paper, we provide an institutional representation of Event-B specification. In the context of heterogeneous…
Expand
2014
2014
Institution Theory for Services Oriented Applications
Amine Achouri
,
Y. Hlaoui
,
Leila Jemni Ben Ayed
IEEE 38th International Computer Software and…
2014
Corpus ID: 11499449
In the present paper, we present our approach for the transformation of workflow applications based on institution theory. The…
Expand
2014
2014
TOWARDS A SEMANTIC FOR UML ACTIVITY DIAGRAM BASED ON INSTITUTION THEORY FOR IT’S TRANSFORMATION TO EVENT-B MODEL
D. Wyld
,
Aymen Achouri
2014
Corpus ID: 6635578
In this article, we define an approach for model transformation. We use the example of UML Activity Diagram (UML AD) and Event-B…
Expand
2013
2013
Towards Self-Verification of Isabelle ’ s Sledgehammer
J. Blanchette
,
A. Popescu
2013
Corpus ID: 17077407
This paper presents an Isabelle/HOL formalisation of recent research in automated reasoning: efficient encodings of sorts in…
Expand
2011
2011
An institution theory approach to the relationship between organization and society [cumulative dissertation]Eine institutionentheoretische Perspektive auf das Verhältnis von Organisation und…
C. Gebhardt
2011
Corpus ID: 158308705
Unter Bezugnahme auf die soziologische Institutionentheorie widmet sich die vorliegende Arbeit in drei Artikeln auf jeweils…
Expand
2006
2006
2006 AIB Southeast Asia Regional Conference Global Vision and Local Competence
Robert W. McGee
2006
Corpus ID: 132822158
Recently, production of Tamiflu is a controversial issue. Because of Tamiflu is a patent right owning to Roche. The protection of…
Expand
1998
1998
New research topics for retail institution theory : micro-foundation of retail institution change
近藤 公彦
1998
Corpus ID: 168610425