Retour au site du LAAS-CNRS

Evaluating lab@Future, a collaborative e-learning laboratory experiments platform

J.P.COURTIAT, C.DAVARAKIS, M.FAUST, H.KAUFMANN, D.MWANZA, A.TOTTER, T.VILLEMUR

OLC, SYSTEMA, ARTEC, Vienne, University Helsinki, Zurich

Manifestation avec acte : European Distance and E-Learning Network (EDEN'2004), Budapest (Hongrie), 16-19 Juin 2004, 6p. , N° 04245

Diffusable

Ajouter au panier 102435

TURTLE : un pont entre UML et RT-LOTOS

P.DE SAQUI SANNES, L.APVRILLE, C.LOHR, J.P.COURTIAT

OLC, ENST Sophia, Concordia

Manifestations avec acte à diffusion limitée : Conference AFADL'2004. Approches Formelles dans l'Assistance au Développement de Logiciels, Besancon (France), 16-18 Juin 2004, 4p. , N° 04159

Diffusable

Ajouter au panier 102434

Lab@future development prototype

V.BAUDIN, J.P.COURTIAT, R.L.GOMES, G.J.HOYOS RIVERA, T.VILLEMUR

2I, OLC

Rapport de Contrat : Lab@Future, Project IST-2001-34204, Juin 2004, 57p. , N° 04351

Diffusable

Ajouter au panier 102388

RT-LOTOS to time Petri nets translation patterns

T.SADANI, J.P.COURTIAT, P.DE SAQUI SANNES

OLC, ENSICA

Rapport LAAS N°04325, Juin 2004, 15p.

Diffusable

Ajouter au panier 102337

A UML 2.0-based evolution of the TURTLE profile

L.APVRILLE, P.DE SAQUI SANNES, J.P.COURTIAT

ENST Sophia, OLC

Rapport LAAS N°04271, Mai 2004, 15p.

Diffusable

Ajouter au panier 102215

An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents

P.N.M.SAMPAIO, J.P.COURTIAT

OLC

Revue Scientifique : Journal of the Brazilian Computer Society, Vol.9, N°3, pp.39-51, Avril 2004 , N° 03433

Diffusable

Ajouter au panier 103465

Derniers développements autour du profil UML temps réel TURTLE

P.DE SAQUI SANNES, L.APVRILLE, C.LOHR, J.P.COURTIAT

OLC, ENST Sophia, Concordia

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2004), Toulouse (France), 9-10 Mars 2004, 12p. , N° 04035

Diffusable

Ajouter au panier 101834

Defining an event-based environment for integrating collaborative applications

R.L.GOMES, G.J.HOYOS RIVERA, J.P.COURTIAT

OLC

Rapport LAAS N°04153, Mars 2004, 10p.

Diffusable

Ajouter au panier 101980

New operators for the TURTLE real-time UML profile

C.LOHR, L.APVRILLE, P.DE SAQUI SANNES, J.P.COURTIAT

OLC

Manifestation avec acte : 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'2003), Paris (France), 19-21 Novembre 2003 , N° 03280

Diffusable

Ajouter au panier 101434

An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents

P.N.M.SAMPAIO, J.P.COURTIAT

OLC

Manifestations avec acte à diffusion limitée : IX Symposium on Multimedia Systems and Web, Salvador (Brésil), 3-6 Novembre 2003, pp.103-118 , N° 03433

Diffusable

Ajouter au panier 101411