Publications 1996

Thèses et habilitations à diriger les recherches

1. Yves Guerte. Dérivation de programmes impératifs à partir de spécifications algébriques. Thèse de l'Université Claude Bernard, 1996.
2. Catherine Oriat. Etude des spécifications modulaires: constructions de colimites finies, diagrammes, isomorphismes. Thèse de l'INPG, Grenoble, France, 1996.
3. Denis Avrilionis. Mécanismes pour l'évolution et la réutilisation des processus de production des logiciels. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 1996.
4. Ioannis Parissis. Test de logiciels synchrones spécifiés en Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 1996.

Articles de journaux

1. Dominique Duval, Jean-Claude Reynaud. Sketches and Computation over fields. Mathematics and Computers in Simulation, 42:363-376, 1996.

Chapitres de livres

1. Y. Ledru, M.-L. Potet. A VDM specification of the steam-boiler problem. In Steam-Boiler Case Study, pp. 283-317, Springer, 1996.

Conférences internationales

1. Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström. OPSIS: A view mechanism for software processes which supports their evolution and reuse. In Proceedings of the 18th International Conference on Software Engineering, Pages 38-47, 1996.
2. D. Avrilionis, P.-Y. Cunin. Process Model Reuse Support - The OPSIS Approach. In Proceedings of the 10th International Software Process Workshop, B. Boehm (ed.), 1996.
3. D. Avrilionis, N. Belkhatir, P.-Y. Cunin. Improving Software Process Modelling and Enactment Techniques. In Proceedings of the 5th European Workshop on Software Process Technology, J.-C. Derniame (ed.), LNCS, 1996.
4. D. Avrilionis, P.-Y. Cunin, N. Belkhatir. A unified framework for software process enactment and improvement. In 4th International Conference on Software Process (ICSP 4), Brighton, UK, 1996.
5. Pierre Berlioux, Eric Cheminot, Paul Jacquet. Vers un système d'aide à la rédaction de spécifications de logiciels en langue naturelle. In Natural Language Processing and Industrial Applications Moncton, Canada, Pages 21-27, 1996.
6. Didier Bert, Rachid Echahed, Kamel Adi. Resolution of Goals with the functional and logic programming language LPG: impact of abstract interpretation. In Proc. of AMAST-96, 5th Int. Conf. on Algebraic Methodology and Software technology, Munich (Germany), 1996.
7. Didier Bert, Marie-Laure Potet, Yann Rouzaud. A Study on Components and Assembly Primitives in B. In Proc. of the 1st Conference on the B Method: Putting into Practice Methods and Tools for Information System Design, Nantes, Henri Habrias (ed.), Pages 47-62, 1996.
8. Y. Ledru. Using KIDS as a Tool Support for VDM. In Proceedings of the 18th International Conference on Software Engineering, Pages 236-245, Berlin (Germany), 1996.
9. Y. Ledru. Complementing semi-formal specifications with Z. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, Pages 52-61, 1996.
10. I. Parissis. A Tool For Testing Synchronous Critical Software. In Proceedings of the 3rd International Conference on Achieving Quality in Software, Florence, Italy, 1996.
11. I. Parissis, F. Ouabdesselam. Specification-based Testing of Synchronous Software. In Proceedings of the ACM Sigsoft96' 4th Symposium on the Foundations of Software Engineering, San Francisco, Octobre 1996.

Communications avec actes

1. D. Avrilionis, P.-Y. Cunin, N. Belkhatir. View-based mechanisms for structured and distributed enactment. In The Viewpoints Workshop, San Francisco, USA, 1996.
2. B. Ferrari, F. Ouabdesselam, C. Robach. Évaluation de la testabilité du logiciel. In 10ème Colloque National de Fiabilité et Maintenabilité, Saint-Malo, France, 1996.
3. I. Parissis, F. Ouabdesselam. Techniques de Test pour des Logiciels Réactifs Synchrones. In Modélisation des Systèmes Réactifs, AFCET, Brest, France, 1996.

Rapports de recherche

1. S. Antoy, R. Echahed, M. Hanus. A Parallel Narrowing Strategy. Technical Report 96-1 Portland State University, 1996.
2. P. Jacquet, Y. Ledru, X. Nicollin, M.-L. Potet. Catalogue de l'exposition logiciels critiques. Rapport de recherche IMAG, 1996.
3. I. Parissis, 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 1996.
4. Didier Bert. Projet IMAG SCOP ``Spécification et COnstruction de Programmes'' Bilan 1990-1996. RR 959-I, Laboratoire LSR-IMAG, Grenoble, Septembre 1996.
5. Catherine Oriat. Modular specifications: constructions with finite colimits, diagrams, isomorphisms. RR 964-I-LSR-3, Laboratoire LSR-IMAG, Septembre 1996.

Autres communications

1. Y. Ledru. Utilisation de KIDS comme support pour VDM. Journée groupe ADER - Paris, 1996.
2. Y. Ledru. Enrichissement de spécifications semi-formelles avec Z. Journée groupe AFCET zéro-défaut, Paris, 1996.