Publications 2000

Thèses et habilitations à diriger les recherches

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

Ouvrages

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, Janvier 2000.

Articles de journaux

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, Avril 2000.

Chapitres de livres

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.

Conférences internationales

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, Décembre 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, Décembre 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, Décembre 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, Novembre 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, Octobre 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, Septembre 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, Avril 2000.
10. S. Dupuy, L. du Bousquet. Validation of UML models thanks to Z and Lustre. In Formal Methods Europe, Berlin, Germany, Mars 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, Mars 2000.

Communications avec actes

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, Juin 2000.
2. S. Dupuy. Vers une prise en compte des contraintes en UML grâce à Z. In INFORSID'2000, M. Leonard (ed.), Lyon, France, Mai 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, Janvier 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, Janvier 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, Janvier 2000.