Publications 1997

Academic Journals

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

International Conferences

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, June 1997.

National conferences or workshops

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, May 1997.

Research Reports

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

Other 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, October 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, March 1997.