Publications 1999

Thèses et habilitations à diriger les recherches

1. Eric Cheminot. Formalisation de spécifications de logiciels : traitement d'annotations en langue naturelle contrôlée. Thèse de l'INPG, Grenoble, Décembre 1999.
2. L. du Bousquet. Test fonctionnel statistique de systèmes spécifiés en Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 1999.
3. Alain Cougoulic. Simulation de spécifications d'applications de gestion de réseaux de télécommunications. Thèse de l'INPG, Grenoble, Juin 1999.

Ouvrages

1. C. Welty, M. Lowry, Y. Ledru. Guest Editorial - special issue on ASE'97. Automated Software Engineering, Volume 6, Kluwer Academic Publisher, Boston, MA, 1999.
2. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 2ème édition. O'Reilly, Juin 1999.

Articles de journaux

1. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Test et approche synchrone pour la détection d'interactions de services téléphoniques. Calculateurs Parallèles, Réseaux et Systèmes répartis, 11(4):419-446, Décembre 1999.

Chapitres de livres

1. D. Avrilionis, I. Robertson, P.-Y. Cunin, B. Warboys. Meta-Process. In Software Process Technology Principles, J.-C. Derniame, A. Fuggetta (eds.), Chap. 2, Wiley, 1999.

Conférences internationales

1. Didier Bert, Stéphane Lo Presti. Algebraic Operators and Causal Relations for Modeling Multimedia Presentations. In Proc. of the Symposium on Modal and Temporal Logic-based Planning for Open Networked Multimedia Systems, AAAI Fall Symposium Series, North Falmouth, Massachusetts, USA, 1999.
2. Yves Ledru, Marie-Laure Potet, Rémy Sanlaville. VDM modules. In Workshop VDM in Practice, at FM'99 World Congress on Formal Methods, FM'99 CD-ROM, 1999.
3. Yann Rouzaud. Interpreting the B-Method in the Refinement Calculus. In Proc. of the World Congress on Formal Methods, FM'99 (Vol. I), LNCS 1708, J. Wing, J. Woodcock, J. Davies (eds.), Pages 411-430, Toulouse, 1999.
4. L. du Bousquet, N. Zuanon. An Overview of Lutess, A Specification-based Tool for Testing Synchronous Software. In 14th IEEE International Conference on Automated Software Engineering, Pages 208-215, Octobre 1999.
5. L. du Bousquet. Feature Interaction Detection using Testing and Model-checking, Experience report. In World Congress on Formal Methods (FM'99), Pages 622-641, Toulouse, France, Septembre 1999.
6. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering (ICSE'99), Pages 267-276, Los Angeles, Mai 1999.

Communications avec actes

1. J. Estublier, Y. Ledru, P.-Y. Cunin. The architecture of federations - from process to software. In Position paper for the First Working IFIP Conference on Software Architecture, San Antonio, TX, 1999.

Autres communications

1. S. Dupuy. RoZ version 0.3 : an environment for the integration of UML and Z. 1999. download
2. Farid Ouabdesselam. A Survey of Testing in a Synchronous Context. World Congress on Formal Methods in the Development Computing Systems. Industrial track on testing. Invited talk, Toulouse (France), Octobre 1999.