Publications 2000

Books

1. Recent Trends in Algebraic Development Techniques. 14th International Workshop, WADT'99, Château de Bonas, France, September 1999. Selected Papers. Didier Bert, Christine Choppy, Peter Mosses (eds.), Lecture Notes in Computer Science, No 1827, Springer-Verlag, 2000.
2. Actes de l'atelier Approches Formelles dans l'Assistance au Développement des Logiciels (AFADL'2000). Y. Ledru (ed.), IMAG, Grenoble, January 2000.

Academic Journals

1. L. du Bousquet, S. Dupuy. A Multi-Formalism Approach for the validation of UML models. Formal Aspects of Computing, Résumé de deux pages, à paraître, 2000.
2. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. L'Objet, numéro thématique Méthodes formelles pour les objets, 6(1), 2000.
3. Catherine Oriat. Detecting Equivalence of Modular Specifications with Categorical Diagrams. TCS, 247:141-190, 2000. download
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, 32(4):419-431, April 2000.

Book Chapters

1. Hubert Baumeister, Didier Bert. Software Specification Methods: An Overview Using a Case Study. (à paraître), (à paraître), Chap. 0, (Eds: M. Frappier, H. Habrias), FACIT, Springer-Verlag, 2000.
2. S. Dupuy, A. Front-Conte, C. Saint-Marcel. Using UML with a Behaviour-Driven Method. In Software Specification Methods: An Overview Using a Case Study, à paraître, M. Frappier, H. Habrias (eds.), à paraître, Springer, 2000.

International Conferences

1. Didier Bert, Stéphane Lo Presti. Algebraic Specification of Operator-based Multimedia Scenarios. In Recent Trends in Algebraic Specification Techniques, 14th Workshop on Algebraic Development Techniques, WADT'99, LNCS 1827, Selected papers, Pages 382-399, 2000.
2. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. An Overview of RoZ : a Tool for Integrating UML and Z Specifications. In 12th Conference on Advanced information Systems Engineering-CAiSE'2000, Lecture Notes in Computer Science, Volume 1789, Stockholm, Suède, 2000.
3. F. Duclos, J. Estublier, R. Sanlaville. Architectures Ouvertes pour l'Adaptation des Logiciels. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, December 2000.
4. S. Dupuy, J-C. Freire, M.Chabre-Peccoud, Y. Ledru. Formal and Informal Specifications: a proposal for a coupling. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, France, December 2000.
5. S.T. Nguyen, J.M. Favre, Y. Ledru, J. Estublier. Exploring Large Software Products. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, December 2000.
6. Didier Bert, Francis Cave. Construction of Finite Labelled Transition Systems from B Abstract Systems. In Integrated Formal Methods, IFM2000, LNCS 1945, Pages 235-254, November 2000.
7. Y. Le Traon, F. Ouabdesselam, C. Robach. Analyzing Testability on Data Flow Designs. In 11th International Symposium on Software Reliability Engineering (ISSRE'00), San Jose, October 2000.
8. Pierre Bontron, Marie-Laure Potet. Automatic construction of validated B components from structured developments. In Proc. of the Z and B International Conference, ZB2000, York, U.K, September 2000.
9. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Specification-based Testing of Synchronous Software. In 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000), S. Gnesi, I. Schieferdecker, A. Rennoch (eds.), Pages 123-139, Berlin, April 2000.
10. S. Dupuy, L. du Bousquet. Validation of UML models thanks to Z and Lustre. In Formal Methods Europe, Berlin, Germany, March 2000.
11. N. Zuanon. Modular Feature Integration and Validation in a Synchronous Context. In Language Constructs for Describing Features, Proceedings of the FIREworks workshop, Pages 213-231, Glasgow, UK, March 2000.

National conferences or workshops

1. Y. Ledru, R. Sanlaville, J. Estublier. Defining an Architecture Description Language for Dassault Systèmes. In Position paper for the 4th International Software Architecture Workshop, Limerick, Ireland, June 2000.
2. S. Dupuy. Vers une prise en compte des contraintes en UML grâce à Z. In INFORSID'2000, M. Leonard (ed.), Lyon, France, May 2000.
3. G. Bernot, H. Jouve, F. Klay, F. Ouabdesselam, J.-L. Richier. Aide à l'intégration de services par la génération de tests. In 3ème atelier AFADL, Pages 9-20, Grenoble, January 2000.
4. Didier Bert. Spécification algébrique et prototypage du contrôle d'accès en LPG. In Actes de l'Atelier AFADL'2000, Y. Ledru (ed.), Pages 142-157, LSR-IMAG, Grenoble, France, January 2000.
5. Francis Cave, Didier Bert. Itérateurs pour le langage B. In Actes de l'Atelier AFADL'2000, Y. Ledru (ed.), Pages 111-126, LSR-IMAG, Grenoble, France, January 2000.

Thesis and habilitations

1. Sophie Dupuy. Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information. PhD Thesis Université Joseph Fourier, Grenoble, France, September 2000. download
2. Nicolas Zuanon. Test de spécifications de services de télécommunication. PhD Thesis Université Joseph Fourier, Grenoble, France, June 2000.