Modal Contracts for Component-based Design

Gregor Gössler; Jean-Baptiste Raclet

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Conference papers

Modal Contracts for Component-based Design

Gregor Gössler ^{1, 2} Jean-Baptiste Raclet ^{1, 3}

1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time

Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble

2 LIG - Laboratoire d'Informatique de Grenoble

3 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées

IRIT - Institut de recherche en informatique de Toulouse

Gregor Gössler ^{1, 2}
Author
PersonId : 5331
Employer institution: Institut National de Recherche en Informatique et en AutomatiqueIdHAL : goesslerIdRef : 179367110

Jean-Baptiste Raclet ^{1, 3}
Author
PersonId : 739306
IdHAL : jean-baptiste-racletORCID : 0000-0001-7357-912XIdRef : 113949383

1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time (Inria Grenoble - Rhône-Alpes 655 avenue de l'Europe - Montbonnot 38334 Saint Ismier Cedex - France) StructId : 44976

Inria Grenoble - Rhône-Alpes (Inovallée 655 avenue de l'Europe 38330 Montbonnot - France) StructId : 2497
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00 - France) StructId : 24471
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France) StructId : 3886
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 89889
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 300275
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France) StructId : 441569

2 LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00 - France) StructId : 24471

UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France) StructId : 3886
UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016
Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 89889
INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 300275
CNRS - Centre National de la Recherche Scientifique : UMR5217 (France) StructId : 441569

3 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT 118 Route de Narbonne 31062 Toulouse Cedex 9 - France) StructId : 394992

IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France) StructId : 34499
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France) StructId : 81148
  - Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France) StructId : 116256
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France) StructId : 217752
  - Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France) StructId : 441569
- Toulouse INP - Institut National Polytechnique (Toulouse) (France) StructId : 448187
  - Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875

Document type :

Conference papers

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Complete list of metadata

https://hal.inria.fr/hal-00665205
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Wednesday, February 1, 2012 - 1:58:09 PM
Last modification on : Monday, July 4, 2022 - 8:48:21 AM

Identifiers

HAL Id : hal-00665205, version 1

Collections

Citation

Gregor Gössler, Jean-Baptiste Raclet. Modal Contracts for Component-based Design. SEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303. ⟨hal-00665205⟩

Modal Contracts for Component-based Design

Identifiers

Collections

Citation

Export

Metrics

154

Contact Legal Notice Personal Data

Modal Contracts for Component-based Design

Identifiers

Collections

Citation

Export

Share

Metrics

154

Contact Legal Notice Personal Data