The QSL platform at LORIA - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

The QSL platform at LORIA

Résumé

The QSL project aims at the development of concepts, methods, techniques, and tools to increase the reliability and the quality of software intensive systems. Within this project, we are anticipating a platform of tools for validation and verification that ensures their availability, includes documentation and case studies, and eventually intends to foster the cooperation of different teams using different tools on common development projects.

Mots clés

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
A03-R-539.pdf (99.5 Ko) Télécharger le fichier

Dates et versions

inria-00099497 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099497 , version 1

Citer

Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz. The QSL platform at LORIA. First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p. ⟨inria-00099497⟩
116 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More