Publications 1996

Academic Journals

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

Book Chapters

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

International Conferences

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, October 1996.

National conferences or workshops

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.

Research Reports

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. Research Report IMAG, 1996.
3. I. Parissis, 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 1996.
4. Didier Bert. Projet IMAG SCOP ``Spécification et COnstruction de Programmes'' Bilan 1990-1996. RR 959-I, Laboratoire LSR-IMAG, Grenoble, September 1996.
5. Catherine Oriat. Modular specifications: constructions with finite colimits, diagrams, isomorphisms. RR 964-I-LSR-3, Laboratoire LSR-IMAG, September 1996.

Other 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.

Thesis and habilitations

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