Publications de
Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental
Dans : Techniques de l’ingénieur, Techniques de l’Ingénieur, Paris, France, Vol. H3880, (en ligne), août 2011.
Accès : http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/genie-logiciel-42306210/modelisation-en-uml-ocl-des-langages-de-programma
BibTeXThierry Millan, Laurent Sabatier, Pierre Bazex, Christian Percebois
NEPTUNE II Une plate-forme pour la vérification et la transformation de modèles
Dans : Génie Logiciel, GL & IS, Meudon – France, Numéro spécial Une plate-forme pour la vérification et la transformation de modèles, Vol. 85, p. 30-34, juin 2008.
Erwann Poupart, Ali Abou Dib, Louis Féraud, Pierre Bazex, Ileana Ober, Christian Percebois, Thierry Millan
Vers une abstraction d’une famille de DSL
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 81, p. 24-31, juin 2007.
Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois, Christian Percebois, Erwann Poupart, Laurent Sabatier
Trust in MDE components: the DOMINO experiment (regular paper)
Dans : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienne, Autriche, 14/09/10, ACM Digital Library, (en ligne), 2011.
Accès : http://portal.acm.org/citation.cfm?id=1868436
BibTeXThierry Millan, Laurent Sabatier, Thanh Thanh Le Thi, Pierre Bazex, Christian Percebois
An OCL extension for checking and transforming UML Models
Dans : WSEAS – International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2009), Cambridge, United Kingdom, 21/02/09-23/02/09 (conférencier invité), WSEAS Press, p. 144-150, 2009.
Thanh Thanh Le Thi, Pierre Bazex, Thierry Millan
MODELING OF LANGUAGES GRAMMARS IN UML/OCL: APPLYING TO A MODEL DRIVEN SOFTWARE DEVELOPMENT PROCESS
Dans : International Conference on Theories and Applications of Computer Science (ICTACS 2009), Nha Tra ng Vietnam, 06/02/09-08/02/09, Vol. 46, Dat H. Nguyen, Duc A. Duong, Thu D. Tran, Thuc D. Nguyen, Thuy B. T. Dong (Eds.), Vietnam Academy of Science and Technology, p. 25-46, février 2009.
Erwann Poupart, Guillaume Jolly, Christian Percebois, Pierre Bazex, Philippe Palanque, Sandra Basnyat, Patrice Rabault, Laurent Sabatier, Aurélia Walrawens
Offline interoperability, cost reduction and reliability for operational procedure using meta-modeling technology
Dans : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), (support électronique), 2008.
Erwann Poupart, Guillaume Jolly, Sandra Basnyat, Christian Percebois, Pierre Bazex
Offline interoperability and cost reduction for operational procedures using meta-modeling technology
Dans : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), p. 0-0, 2008.
Thierry Millan, Christian Percebois, Pierre Bazex
NEPTUNE : vers un atelier de manipulation de modèles
Dans : Workshop OPEES, Paris, 28/06/07-29/06/07.
Christian Percebois, Pierre Bazex, Arlette Sebatware, Hervé Leblanc, Ali Abou Dib, Ileana Ober, Louis Féraud
Modélisation en UML et OCL de langages dédiés
Dans : Journée KERMETA 2006, Rennes, France, 10/10/06.
Thomas Gely, Thierry Millan, Hervé Leblanc, Cédric Bouhours, Pierre Bazex
Définition dun atelier de validation de modèles
Dans : Journée KERMETA 2006, Rennes, France, 10/10/06.
Arlette Sebatware, Ali Abou Dib, Pierre Bazex, Christian Percebois
Vers la modélisation UML de la syntaxe et de la sémantique dun langage de programmation
Dans : Séminaire Interopérabilité pour les procédures opérationnelles, IAS, Toulouse, France, 12/04/06.
Pierre Bazex, Christian Percebois
Modèles, Méta-modèles et Transformation de modèles
Dans : Journée transformation de modèles vers VHDL-AMS du LAAS, TOULOUSE, 07/02/06.
El Abbassia Deba, Pierre Bazex
Mapping in model engineering
Dans : EWMT’2005, First European Workshop in Model Transformation, Rennes, France, 26/09/05.
Accès : http://www-valoria.univ-ubs.fr/ewmt05/pdf/final_articles/Deba-EWMT05-final.PDF
BibTeXThierry Millan, Hervé Leblanc, Ileana Ober, Christian Percebois, Pierre Bazex, Ralph Sobek
Tooling a UML method based on OCL
Dans : New concepts and technologies for ground system software : Why and How?, Toulouse, 21/11/05-21/11/05, Erwan Poupart (Eds.).
Thierry Millan, Christian Percebois, Hervé Leblanc, Pierre Bazex
Instrumenting a UML method based on OCL
Dans : ICSSEA 2004 – 17th International Conference in Software & Systems Engineering and their Applications, Paris, 30/11/04-02/12/04, GL & IS, 8, rue du parc – 92190 MEUDON, novembre 2004.
Thierry Millan, Christian Percebois, Hervé Leblanc, Pierre Bazex
Projet NEPTUNE : vérification statique de modèles
Dans : NEPTUNE 2004 -génie logiciel juin 2004 numéro 69 Vérification de modèles, Paris, 24/06/04, Jean-Claude Rault (Eds.), GL&IS, 8, rue du parc 92190 MEUDON – France, p. 45-50, juin 2004.
Pierre Bazex, Jean-Paul Bodeveix, Christophe Le Camus, Thierry Millan, Christian Percebois
Vérification de modèles UML fondée sur OCL
Dans : INFORSID, Nancy, 03/06/03-06/06/03, Congrès INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), p. 185-200, juin 2003.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Féraud, Ralph Sobek
Extending OCL for verifying UML models consistency
Dans : Workshop on Consistency Problems in UM- based Software Development in conjonction with the fifth International Conference on the Unified Modelling Language “UML” 2002 “Modelling Languages, Concepts and Tools”, Dresden, Allemagne, 01/10/02, Ludwik Kuzniarz – Gianna Reggio – Jean-Louis Sourrouille – Zbigniew Huzar, p. 75-91, octobre 2002.
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan
Modélisation et transformations de données
Dans : Journées sur les technologies applicables à la valorisation de données, Toulouse, .
Myriam Lamolle, Thierry Millan, Pierre Bazex, Marc Gonzalez
Garbage Collection in Object Oriented Databases – Optimisation of Unreachable Objects Detection
Dans : 2nd International Workshop on Computer Science and Information Technologies, Ufa (Russia), 18/09/00-23/09/00, Computer Science and Information Technologies, p. 38-46, septembre 2000.
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan, Christian Percebois
Data Design and Transformation
Dans : World Multiconference on Systemics, Cybernetics and Informatics 2000, Orlando (USA), 23/07/00-26/07/00, IIIS, 14269 Lord Barclay Dr., Orlandom FL 32837, USA, p. 587-592, juillet 2000.
Frédéric Mulatéro, Pierre Bazex, Jean-Marc Thévenin
A Global Garbage Collector for Federated Database management systems
Dans : BDA’98, HAMMAMET (Tunisie), 26/10/98-30/10/98.
Frédéric Mulatéro, Jean-Marc Thévenin, Pierre Bazex
A Global Garbage Collector for Federated Database Management Systems
Dans : DEXA’98, Vienne (Autriche), 24/08/98-28/08/98, Springer-Verlag, p. 596-609, août 1998.
Ada/O2 coupling : a solution for an efficient management of persistence in Ada 83
Dans : Ada-Europe’96, Montreux, Suisse, -, juin 1996.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud
NEPTUNE : Method, Checking and documentation generation for UML application
, NEPTUNE Consortium, 2003.
Abdelkader Hameurlain, Pierre Bazex, Franck Morvan
Traitement parallèle dans les bases de données relationnelles : concepts, méthodes et applications, Cépaduès Editions, octobre 1996.
Pierre Bazex, Agusti Canals, Jean-Claude Rault
L’ingénierie dirigée par les modèles Projets et pôles de compétitivité
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 81, juin 2007.
Pierre Bazex, Agusti Canals, Jean-Claude Rault
L’ingénierie dirigée par les modèles Processus de développement logiciel basé sur les modèles : Démarche et Outillage
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 77, juin 2006.
Pierre Bazex, Agusti Canals, Jean-Claude Rault
Ingénierie dirigée par les modèles Vérification de modèles
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 73, juin 2005.
Pierre Bazex, Agusti Canals, Jean-Claude Rault
Vérification de modèles
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 69, juin 2004.
Christian Percebois, Pierre Bazex, Thierry Millan
NEPTUNE : vers un atelier de manipulation de modèles
Présentation orale. juin 2007.
Domaines et processus méthodologiques
Présentation orale. 2007.
Thierry Millan, Thomas Gely, Christian Percebois, Pierre Bazex
Un atelier pour la vérification et la transformation de modèles
Diffusion scientifique. juin 2006.