Date: Mon, 22 Jun 1998 17:00:48 +0200
From: SURLOG <surlog@club-internet.fr>
To: Caml List <caml-list@inria.fr>
Subject: Call for libraries (version française)
SERVANTEC-SURLOG, laboratoire d'essais indépendant, a pour vocation
l'évaluation de la Qualité et de la Sûreté des Système Logiciels. Aussi
SERVANTEC-SURLOG propose-t-elle aux organisme en charge de certifier les
équipements et aux constructeurs un ensemble de compétences, de méthodes
et d'outils pour l'analyse, l'évaluation et le contrôle de la sûreté des
logiciels.
D'autre part, un effort constant de R&D nous permet d'explorer le
domaine de la Sûreté de Fonctionnement du Logiciel en amont des besoins
exprimés par notre clientèle et ainsi de développer les méthodes et les
outils d'aide à l'évaluation de la Sûreté de Fonctionnement.
Aujourd'hui, nous développons en OCaml les outils supportant nos
méthodes d'évaluation.
Afin d'augmenter la puissance de traitement de ces outils, nous sommes à
la recherche de librairies Ocaml sur les sujets suivants :
- gestion générique de DAG (Direct Acyclic Graph)
- interface ODBC afin de pouvoir manipuler une base de données
(INGRES ou autres) directement à partir d'un programme Ocaml
- extension de la librairie Tcl/Tk existante permettant d'utiliser la
widget TkEmacs, ainsi que la widget TkTree
- outil générant le graphe d'appel d'un ensemble de fichier source
OCaml.
Nous mettons à disposition une interface OCaml/SCCS permettant
d'effectuer de la gestion de configuration de code source directement en
Ocaml basé sur le gestionnaire SCCS de SUN System.
Merci de nous contacter par mail.
Cordialement
Philippe Ayrault
-- Servantec-Surlog Velizy Plus, Bat. E 1 bis, Rue du Petit Clamart 78140 VELIZY-VILLACOUBLAY Tel: 01-40-83-00-00 Fax: 01-40-83-18-17
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET