HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

The STSLib Project: Towards a Formal Component Model Based on STS

Fabricio Fernandes 1, 2 Jean-Claude Royer 1, 2
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
2 LINA - Laboratoire d'Informatique de Nantes Atlantique
Document type :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00416461
Contributor : Jean-Claude Royer Connect in order to contact the contributor
Submitted on : Monday, September 14, 2009 - 11:52:54 AM
Last modification on : Wednesday, April 27, 2022 - 4:00:55 AM

Identifiers

  • HAL Id : hal-00416461, version 1

Collections

CNRS | INRIA | UNIV-NANTES | LINA-ASCOLA | LINA | INFO | IMT-ATLANTIQUE | INRIA2

Citation

Fabricio Fernandes, Jean-Claude Royer. The STSLib Project: Towards a Formal Component Model Based on STS. Electronic Notes in Theoretical Computer Science, Elsevier, 2008, pp.131-149. ⟨hal-00416461⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

111