Références

[AA05]

Pascal André and Gilles Ardourel. Domain Based Verification for UML Models. In Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille, and Miroslaw Staron, editors, Workshop on Consistency in Model Driven Engineering C@Mode'05, pages 47–62, November 2005.

[AAA⁺05a]

P. André, G. Ardourel, C. Attiogbé, H. Habrias, and C. Stoquer. A Service-Based Component Model: Description Formalism, Formal Analysis and Mechanization. Technical Report RR05.08, LINA - FRE CNRS 2729 - Nantes, December 2005. (70 p.).

[AAA⁺05b]

Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, and Cédric Stoquer. Vérification de conformité des interactions entre composants. In Proceedings of OCM'05 workshop (Objets, Composants et Modèles), held in conjunction with LMO'05, Berne, Suisse, Jan 2005.

[AAA05c]

Pascal André, Gilles Ardourel, and Christian Attiogbé. Behavioural Verification of Service Composition. In ICSOC Workshop on Engineering Service Compositions, WESC'05, pages 77–84, Amsterdam, The Netherlands, December 2005. IBM Research Report RC23821.

[AAA06a]

Pascal André, Gilles Ardourel, and Christian Attiogbé. Coordination and Adaptation for Hierarchical Components and Services. In Third International ECOOP Workshop on Coordination and Adaptation Techniquesfor Software Entities (WCAT'06), pages 15–23, 2006.

[AAA06b]

Pascal André, Gilles Ardourel, and Christian Attiogbé. Spécification d'architectures logicielles en Kmelia : hiérarchie de connexion et composition. In 1ère Conférence Francophone sur les Architectures Logicielles, pages 101–118. Hermès Sciences Publications - Lavoisier, 2006.

[AAA06c]

Pascal André, Gilles Ardourel, and Christian Attiogbé. Vérification d'assemblage de composants logiciels Expérimentations avec MEC. In 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, pages 497–506, Rabat, Maroc, April 2006. Lavoisier.

[AAA06d]

Christian Attiogbé, Pascal André, and Gilles Ardourel. Checking Component Composability. In 5th International Symposium on Software Composition (ETAPS/SC'06, volume 4089 of Lecture Notes in Computer Science. Springer Verlag, 2006.

[AAA07a]

Pascal André, Gilles Ardourel, and Christian Attiogbé. Coordination and Adaptation for Hierarchical Components and Services. Electron. Notes Theor. Comput. Sci., -(-):to appear, 2007.

[AAA07b]

Pascal André, Gilles Ardourel, and Christian Attiogbé. Protocoles d'utilisation de composants, Spécification et analyse en Kmelia. In 13e Conférence Francophone sur les Langages et Modèles à Objets, pages 19–34. Hermès Sciences Publications - Lavoisier, 2007.

[AAA07c]

Pascal André, Gilles Ardourel, and Christian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. In ProVeCS 2007 - Satellite Event of TOOLS Europe, page to appear, Zurich, Switzerland, 2007. ETH Research Report –.

[AAA07d]

Pascal André, Gilles Ardourel, and Christian Attiogbé. Defining Component Protocols with Service Composition: Illustration withe Kmelia Model. In 6th International Symposium on Software Composition, volume to appear of Lecture Notes in Computer Science. Springer Verlag, 2007.

[AAB⁺98]

Jean-Charles Akif, Pascal André, Franck Barbier, Laurent Girard, Christian Kerdreux, Eric Pinson, and Jean-Claude Royer. Scheduling Models and Algorithms: An Object-Oriented Software Engineering Approach. Rapport de Recherche du projet CIM-Anjou RR-169, IRIN, Octobre 1998. (7 pages).

[AAO02]

Pascal André, Christian Attiogbé, and Souleymane Oumtanaga. Modélisation formelle des concepts des réseaux pour l'apprentissage. Rapport de Recherche Notes, IRIN/LARIMA, avril 2002.

[AAS04]

Pascal André, Gilles Ardourel, and Gerson Sunye. The Bosco Project, A JMI-Compliant Template-based Code Generator. In W. Dosch and N. Debnath, editors, Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, pages 157–162, July 2004. ISBN 1-880843-52-X.

[AAS05]

Pascal André, Gilles Ardourel, and Gerson Sunyë. Un cadre pour la vérification de modèles UML. Rapport de Recherche RR-04-12, LINA, janvier 2005.

[ABR95]

Pascal André, Frank Barbier, and Jean-Claude Royer. Une expérimentation de développement formel à objets. Techniques et Sciences Informatique, 14(8):973–1005, octobre 1995.

[ACCR94a]

Pascal André, Dan Chiorean, Corina Cîrstea, and Jean-Claude Royer. Object-Oriented Design With Formal Classes. In Contim'94, International Conference on Technical Informatics, volume V, pages 245–254, Timisoara, Romania, 16-19 november 1994.

[ACCR94b]

Pascal André, Dan Chiorean, Corina Cîrstea, and Jean-Claude Royer. The Formal Class Model: an Example of an Object-Oriented Design. STUDIA "BABES-BOLYAI", MATHEMATICA, XXXIX(3):3–23, 1994. version étendue de [ACCR94a].

[ACR94]

Pascal André, Dan Chiorean, and Jean-Claude Royer. The formal class model. In Joint Modular Languages Conference, pages 59–78, Ulm, Germany, 28-30 september 1994. GI, SIG and BCS.

[AH06]

Pascal André and Henri Habrias. Application d'ontologies formelles au droit. In SDC'06 Workshop on Ontologies et textes juridiques, OTJ'06, pages 30–39, Nantes, France, 2006.

[And94]

Pascal André. Atelier de spécification formelle et conception par objets : Quelques outils d'éditions des modèles. (19 pages), April 1994.

[And95]

Pascal André. Méthodes formelles et à objets pour le développement du logiciel : Etudes et propositions. Thèse de doctorat, Université de Rennes I, 7 juillet 1995. préparée à l'IRIN - Université de Nantes.

[And96a]

Pascal André. Manuel de référence de l'application tag/cf. (19 pages), octobre 1996.

[And96b]

Pascal André. Manuel utilisateur de l'application tag/cf. (15 pages), octobre 1996.

[And96c]

Pascal André. Spécification multi-formalismes : l'exemple de la facturation. Rapport de Recherche RR-135, IRIN, Septembre 1996. (56 pages).

[And96d]

Pascal André. Vers un modèle formel en analyse à objets. In LMO'96 Proceedings, pages 62–78, Leysin, Suisse, October 1996.

[And97]

Pascal André. Quelques éléments sur l'interface graphique de l'atelier asfo. application aux types abstraits graphiques. (14 pages), novembre 1997.

[And98]

Pascal André. Spécification de l'atelier asfo. (18 pages), September 1998.

[And99]

Pascal André. Spécification de l'atelier a.s.f.o. Rapport de Recherche RR-185, IRIN, Juin 1999. (20 pages).

[And02]

Pascal André. A propos de la vérification dans UML. Rapport de Recherche RR-04-02, IRIN, juillet 2002.

[AR92]

Pascal André and Jean-Claude Royer. Optimizing Method Search with Lookup Caches and Incremental Coloring. In Andreas Paepcke, editor, 7th Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA'92, pages 110–126, Vancouver, Canada, October 1992. ACM, ACM Press. ISSN 0362-1340.

[AR93]

Pascal André and Jean-Claude Royer. Atelier de spécification formelle et conception par objets. Proposition de Projet Industriel de DESS Génie Informatique, août 1993.

[AR94a]

Pascal André and Jean-Claude Royer. Building formal classes from graphic abstract data types. Rapport personnel, 1994.

[AR94b]

Pascal André and Jean-Claude Royer. Introduction de concepts formels dans le développement objet. In Journées du GDR Programmation, Lille, 22-23 septembre 1994.

[AR94c]

Pascal André and Jean-Claude Royer. La modélisation des listes en programmation par objets. In Pierre Cointe, Christian Queinnec, and Bernard (éditeurs) Serpette, editors, Journées Francophones des Langages Applicatifs (JFLA'94), number 11 in Collection Didactique, pages 259–285, Noirmoutier, 31 janvier - 1 février 1994. INRIA.

[AR95a]

Pascal André and Jean-Claude Royer. Aide à la spécification algébrique de types abstraits par l'utilisation d'automates : principes, algorithmes et exemples. Rapport de Recherche RR-98, IRIN, octobre 1995.

[AR95b]

Pascal André and Jean-Claude Royer. Formal concepts and tools for object-oriented analysis and design. In 5th International Computing Congress, ICC'95, Hyderabad, India, January 1995. Tata McGraw-Hill Publishers. Theme : Object-Oriented Technology: Methods and Applications.

[AR95c]

Pascal André and Jean-Claude Royer. Gat: A dynamic and algebraic formalism to specify object-oriented systems. submitted to AMAST'95, 1995.

[AR95d]

Pascal André and Jean-Claude Royer. Le point sur le modèle tag/cf. In Journées du GDR Programmation, Grenoble, 22-24 novembre 1995.

[AR96a]

Pascal André and Jean-Claude Royer. Ingénierie objet : Concepts et techniques, chapter Spécifications formelles dans le développement à objets, pages 271–314. InterEditions/Masson, 1996. ISBN 2-7296-0642-4.

[AR96b]

Pascal André and Jean-Claude Royer. Un point de vue sur les méthodes formelles à Objets. L'OBJET, 2(4):5–12, February 1996. ISSN 1262-1137.

[AR97a]

Pascal André and Jean-Claude Royer. Application de la méthode tag/cf à l'exemple de l'hôpital. Rapport de Recherche RR-160, IRIN, Septembre 1997. (46 pages).

[AR97b]

Pascal André and Jean-Claude Royer. How to Easily Extract an Abstract Data Type from a Dynamic Description. submitted to Formal Aspects of Computing, September 1997.

[AR97c]

Pascal André and Jean-Claude Royer. How to easily extract an abstract data type from a dynamic description. Rapport de Recherche RR-159, IRIN, Septembre 1997. (32 pages).

[AR98a]

Pascal André and Jean-Claude Royer. Invoicing system: Using tag. In Invoice'98, Proceedings, pages 381–395, Nantes, France, March 26-27 1998. International Workshop on: Comparing Systems Specification Techniques.

[AR98b]

Pascal André and Jean-Claude Royer. Modélisation par objets. Rapport de Recherche RR-179, IRIN, Octobre 1998. (54 pages).

[AR99a]

Pascal André and Jean-Claude Royer. An Algebraic Approach to the Specification of Heterogeneous Software Systems. In 14th Workshop on Algebraic Development Techniques, page (26 pages), Bonas, France, September 1999. http://www.sciences.univ-nantes.fr/info/perso/permanents/royer/papers/rrwadt.ps.gz.

[AR99b]

Pascal André and Jean-Claude Royer. Ifremer. Rapport de Recherche IFR-06/99, IRIN, Juin 1999. (104 pages).

[AR00]

Pascal André and Jean-Claude Royer. An Algebraic Approach to Heterogeneous Software Systems. Rapport de Recherche RR-07-00, IRIN, juin 2000.

[ARRV00a]

Pascal André, Annya Romanczuk, Jean-Claude Royer, and Aline Vasconcelos. An Algebraic View of UML Class Diagrams. In H. Sahraoui C. Dony, editor, Acte de la conférence LMO'2000, pages 261–276, January 2000. ISBN 2-6462-0093-7.

[ARRV00b]

Pascal André, Annya Romanczuk, Jean-Claude Royer, and Aline Vasconcelos. Checking the Consistency of UML Class Diagrams Using Larch Prover. In T. Clark, editor, Proceedings of the third Rigorous Object-Oriented Methods Workshop, BCS eWics, January 2000.

[AV01a]

Pascal André and Alain Vailly. Conception de systèmes d'information ; Panorama des méthodes et des techniques, volume 1 of Collection Technosup. Editions Ellipses, 2001. ISBN 2-7298-0479-X.

[AV01b]

Pascal André and Alain Vailly. Spécification des logiciels ; Deux exemples de pratiques récentes : Z et UML, volume 2 of Collection Technosup. Editions Ellipses, 2001. ISBN 2-7298-0774-8.

[AV02]

Pascal André and Alain Vailly. Exercices corrigés de conception logicielle ; Modélisation des Systèmes d'Information par la pratique, volume 3 of Collection Technosup. Editions Ellipses, 2002. ISBN 2-7298-1289-X.

[AV03a]

Pascal André and Alain Vailly. Exercices corrigés en UML ; Passeport pour une maîtrise de la notation., volume 5 of Collection Technosup. Editions Ellipses, 2003. ISBN 2-7298-1725-5.

[AV03b]

Pascal André and Alain Vailly. Partie 2 de l'ouvrage collectif Piloter les technologies de l’informatique et des télécoms, Chapitre de livre 6 : Etudes de cas : Développement de logiciel avec UML, page 56 pages. Editions WEKA, Novembre 2003.

[AV03c]

Pascal André and Alain Vailly. Partie 7 de l'ouvrage collectif Piloter les technologies de l’informatique et des télécoms, Chapitre de livre 10 : Développement de logiciel avec UML, page 59 pages. Editions WEKA, Novembre 2003.

[AV04]

Pascal André and Alain Vailly. Exercices corrigés en langage Z ; Les spécifications formelles par la pratique, volume 4 of Collection Technosup. Editions Ellipses, 2004. ISBN 2-7298-1942-8.

[BBG⁺94]

Bruno Bonnin, J.C. Broquaire, Raymond Gueguen, Isabelle Mainguet, and Vincent Sevel. Asfo : un atelier de spécification formelle et conception à objets. Rapport de projet industriel de dess génie informatique, Université de Nantes, March 1994.

[BD98]

Sébastien Boucard and Nicolas Dezaire. Apports au modèle tag sous visualworks. Rapport de projet de maîtrise informatique, Université de Nantes, May 1998.

[HA04]

Henri Habrias and Pascal André. Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification. In 22e congrès INFORSID, Biarritz, France, May 2004. Hermès. ISBN 2-906855-20-0.

[JLR92]

Michel Jacobin, Vincent Legeleux, François and.Lescalier, and Jean-Luc Ricoeur. Projet asfo : Rapport de projet industriel. Rapport de projet industriel de dess génie informatique, Université de Nantes, March 1992.

[JPS⁺98]

Anthony Julou, Johane Porhel, Nicolas Simon, Pascal Brouwet, Saïda Necib, and Yannick Hereus. Projet asfo : Rapport de projet industriel. Rapport de projet industriel de dess génie informatique, Université de Nantes, March 1998.

[PMA⁺99]

Dominique Pelletier, Stéphanie Mahévas, Pascal André, Joël Bayon, Benjamin Poussin, and Jean-Claude Royer. Developing a computer-based simulation model to explore spatial and seasonal management measures in a mixed fishery. In 19ème Lowell Wakefield Symposium, Anchorage, Alaska, October 1999.