Skip to Main content Skip to Navigation
Conference papers

Contract spaces for trusted components

Jacques Malenfant 1 Noël Plouzeau 1 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In Szypersky's vision, compenents have explicit required as well as offered interfaces.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00794790
Contributor : Jean-Marc Jézéquel <>
Submitted on : Wednesday, February 27, 2013 - 2:40:45 PM
Last modification on : Friday, July 10, 2020 - 4:11:44 PM
Long-term archiving on: : Sunday, April 2, 2017 - 5:23:44 AM

File

Malenfant03.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00794790, version 1

Citation

Jacques Malenfant, Noël Plouzeau, Jean-Marc Jézéquel. Contract spaces for trusted components. Trusted Components Workshop, 2003, Prato, Italy. ⟨hal-00794790⟩

Share

Metrics

Record views

305

Files downloads

158