Publications 1997

Articles de journaux

1. Y. Ledru. Specification and animation of a bank transfer using KIDS/VDM. Automated Software Engineering, 4:33-51, 1997.

Conférences internationales

1. Sergio Antoy, Rachid Echahed, Michael Hanus. Parallel Evaluation Strategies for Functional Logic Languages. In Proc. of the 14th International Conference on Logic Programming, Leuven, 1997.
2. Alain Cougoulic. An Extension of Logical Formalisms to Simulate System Behaviors. In Acts of the Workshop Foundation of Component-Based Systems in ESEC'97, Zurich, Suisse, Volume I, Pages 71-80, 1997.
3. I. Parissis. A Formal Approach to Testing LUSTRE Specifications. In Proceedings of the 1st International IEEE Conference on Formal Engineering Methods, Hiroshima, Japan, 1997.
4. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Integrating OMT and Object-Z. In Proceedings of BCS FACS/EROS ROOM Workshop, Technical Report GR/K67311-2, A. Evans, K. Lano (eds.), Dept. of Computing, Imperial College, London, UK, Juin 1997.

Communications avec actes

1. Alain Cougoulic, L.-O. Donzelle. Spécification de Comportements d'Objets Répartis et Simulation. In Acts of NOuvelles TEchnologies de la REpartition, Novembre 4-6, Pau, France, Pages 19-33, 1997.
2. Rachid Echahed, Jean-Christophe Janodet. Réécriture de graphes admissibles: Confluence et Stratégies. In Journées du PRC/GDR Programmation, Rennes, Pages 77-89, 1997.
3. I. Parissis. Vers une approche mixte de validation de logiciels synchrones : test, preuve, animation. In Atelier Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, Mai 1997.

Rapports de recherche

1. L. du Bousquet, N. Zuanon. Validation incrémentale de spécifications de services. Rapport de recherche Rapport d'avancement du contrat CNET/CNRS/UJF 95 7B 043, LSR-IMAG, Novembre 1997.

Autres communications

1. P. Jacquet, Y. Ledru, X. Nicollin, M.-L. Potet. Logiciels critiques : Catalogue d'une exposition bibliographique. Technique et Science Informatique, Vol.16, No 6, 1997.
2. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Validation incrémentale de spécifications de services. Séminaire de mi-parcours des CTI 95, CNET Issy, Octobre 1997.
3. B. Ferrari, F. Ouabdesselam, C. Robach. La testabilité du logiciel comme critère de qualité. Séminaire de l'action scientifique CTI 93, CNET Issy, Mars 1997.