Interoperability Constraints and Requirements Formal Modelling and Checking Framework - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

Interoperability Constraints and Requirements Formal Modelling and Checking Framework

Résumé

This paper aims to present and formalize the foundations of a modeling and checking framework for system requirements management. It is illustrated by the study of interoperability requirements having to be respected all along collaborative (private or public) processes.

Domaines

Bibliothèque électronique [cs.DL]
Fichier principal
Vignette du fichier
03380215.pdf (475.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01055850

Soumis le : mercredi 13 août 2014-16:31:06

Dernière modification le : mardi 17 septembre 2024-16:02:23

Archivage à long terme le : jeudi 27 novembre 2014-00:42:39

Télécharger pour visualiser

Dates et versions

hal-01055850 , version 1 (13-08-2014)

Licence

Paternité

Identifiants

Citer

Vincent Chapurlat, Matthieu Roque. Interoperability Constraints and Requirements Formal Modelling and Checking Framework. International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.219-226, ⟨10.1007/978-3-642-16358-6_28⟩. ⟨hal-01055850⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EM-ALES IFIP IFIP-AICT IFIP-AICT-338 IFIP-TC IFIP-TC5 IFIP-WG IFIP-APMS IFIP-WG5-7 INSTITUT-MINES-TELECOM
196 Consultations
198 Téléchargements

Altmetric

Partager

More