Contracts for System Design

Résumé : Cet article fait le point sur le concept de contrat pour la conception de systèmes. Les contrats que nous proposons portent, non seulement sur des propriétés de typage de leurs interfaces, mais incluent une description abstraite de comportements. Nous proposons une méta-théorie, ou, si l'on veut, une théorie générique des contrats, qui permet le développement séparé de sous-systèmes. Nous montrons que cette méta-théorie se spécialise en l'une ou l'autre des théories connues.
Type de document :
Rapport
[Research Report] RR-8147, INRIA. 2012, pp.65


https://hal.inria.fr/hal-00757488
Contributeur : Albert Benveniste <>
Soumis le : mercredi 28 novembre 2012 - 17:32:22
Dernière modification le : jeudi 20 octobre 2016 - 11:43:33

Fichier

RR-8147.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00757488, version 1

Citation

Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, et al.. Contracts for System Design. [Research Report] RR-8147, INRIA. 2012, pp.65. <hal-00757488>

Exporter

Partager

Métriques

Consultations de
la notice

1122

Téléchargements du document

626