Publications 2002

Thèses et habilitations à diriger les recherches

1. Marie-Laure Potet. Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. Habilitation à diriger des recherches de l'INPG, Grenoble, France, Décembre 2002. download
2. Stéphane Lo Presti. Langage de spécification et de description de présentations multimédias. Thèse de l'INPG, Grenoble, France, Novembre 2002.
3. Rémy Sanlaville. Architecture logicielle : une expérimentation industrielle avec Dassault Systèmes. Thèse de l'Université Joseph Fourier, Grenoble, France, Mai 2002.

Ouvrages

1. Y. Ledru, D. Redmiles. Report on the Workshop on State of the Art in Automated Software Engineering. 17th International Conference on Automated Software Engineering, IEEE Computer Society Press, Edinburgh, UK, 2002.
2. B. Marre, F. Ouabdesselam. Numéro spécial - Test de logiciel. Volume 21(9), Technique et Science Informatiques, 2002.
3. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 3ème édition. O'Reilly, Mars 2002.
4. D. Bert, J. P. Bowen, M. C. Henson, K. Robinson. ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of Z and B Users. LNCS 2272, Springer, Grenoble, France, Janvier 2002.

Articles de journaux

1. I. Parissis. Test de spécifications de logiciels synchrones. Technique et Science Informatiques, 21(9):1243-1264, 2002.
2. Stéphane Lo Presti, Didier Bert, Andrzej Duda. TAO: Temporal Algebraic Operators for modeling multimedia presentations. Journal of Network and Computer Applications, 25(4):319-342, Octobre 2002.

Chapitres de livres

1. J. Estublier, J.-M. Favre, R. Sanlaville. An Industrial Experience with Dassault Systèmes' Component Model. In Building Reliable Component-Based Software Systems, Ivica Crnkovic, Magnus Larsson (eds.), pp. 375-386, Artech House Publishers, Juillet 2002.

Conférences internationales

1. O. Maury, Y. Ledru, P. Bontron, L. du Bousquet. Using TOBIAS for the automatic generation of VDM test cases. In Third VDM Workshop (in conjunction with FME2002), 15 pages, Copenhagen, Danemark, 2002.
2. H. Ruíz Barradas, D. Bert. Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems. In Integrated Formal Methods (IFM 2002), Pages 360-379, Turku, Mai 2002.

Autres communications

1. Y. Ledru. Panel on Future Research Directions in Automated Software Engineering. 17th International Conference on Automated Software Engineering, Edinburgh, UK, 2002.
2. Y. Ledru. The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges (position paper). Workshop on the State of the Art in Automated Software Engineering, ICS Technical Report UCI-ICS-02-17, 2002.
3. H. Martin, F. Combret, L. du Bousquet, P. Bontron, O. Maury. Toward testing automation. Gemplus Developer Conference, Singapore, 2002.