Extending OCL for verifying UML models consistency JP Bodeveix, T Millan, C Percebois, C Le Camus, P Bazex, L Feraud, ... Kuzniarz et al.[15], 75-90, 2002 | 39 | 2002 |
Methodology fragments definition in SPEM for designing adaptive methodology: A first step S Rougemaille, F Migeon, T Millan, MP Gleizes Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE …, 2009 | 26 | 2009 |
An OCL extension for checking and transforming UML Models T Millan, L Sabatier, TT Le Thi, P Bazex, C Percebois International Conference on Software Engineering, Parallel and Distributed …, 2009 | 18 | 2009 |
Adelfe: Using spem notation to unify agent engineering processes and methodology MP Gleizes, T Millan, G Picard Rapport interne IRIT no IRIT/2003-10-R, 2003 | 12 | 2003 |
SynchSPEM: A synchronization metamodel between activities and products within a SPEM-based Software Development Process A Rochd, M Zrikem, A Ayadi, T Millan, C Percebois, C Baron 2011 IEEE International Conference on Computer Applications and Industrial …, 2011 | 10 | 2011 |
Detection of generic micro-architectures on models C Bouhours, H Leblanc, C Percebois, T Millan PATTERNS 2010, The Second International Conferences on Pervasive Patterns …, 2010 | 10 | 2010 |
Démarche de développement orienté modèles: de la vérification de modèles à l’outillage de la démarche H Leblanc, T Millan, I Ober Ingénierie Dirigée par les Modèles, Paris 30 (06), 05-01, 2005 | 9 | 2005 |
Vérification de modèles UML fondée sur OCL. P Bazex, JP Bodeveix, T Millan, C Le Camus, C Percebois INFORSID, 185-202, 2003 | 6 | 2003 |
NEPTUNE II Une plate-forme pour la vérification et la transformation de modčles TY MILLAN, LT SABATIER, P Bazex, C Percebois Génie logiciel (1995), 30-34, 2008 | 4 | 2008 |
The NEPTUNE Technology to Verify and to Document Software Components JC Cruellas, JP Bodeveix, T Millan, A Canals Business Component-Based Software Engineering, 101-118, 2003 | 4 | 2003 |
Towards a synchronization model between activities and products within a software development process A Rochd, M Zrikem, A Ayadi, C Percebois, T Millan, C Baron 2011 IEEE International Conference on Computer Applications and Industrial …, 2011 | 3 | 2011 |
Transformation de modèles pour des applications aéronautiques et spatiales: vérification des propriétés L Sabatier, E Poupart, JC Dalbin, TT Le Thi, P Bazex, T Millan Génie logiciel (1995), 20-24, 2009 | 3 | 2009 |
Vers une abstraction d'une famille de DSL E Poupart, AA Dib, L Féraud, T Millan, I Ober, C Percebois GENIE LOGICIEL-TOULOUSE THEN PARIS- 81, 24, 2007 | 2 | 2007 |
Neptune-an integrated uml toolset and methodology K Sanjeevan, J Cruellas, A Canals, T Millan, D Chiorean, M Mullet, ... Proceedings of the 23rd International Conference on Information Technology …, 2001 | 2 | 2001 |
Design, Share and Re-use of Data and Applications into a Federate Database System T Millan, M Lamolle, F Mulatero Onzièmes Journées Internationales le Génie Logiciel et ses Applications, 1998 | 2 | 1998 |
Ada persistence through an OODBMS O 2 P Bazex, T Millan, F Mulatero Ada User Journal 16 (2), 71-82, 1995 | 2 | 1995 |
Ada et les systèmes orientés objets: les environnements persistants au travers d'un système de gestion de bases de données orienté objets T Millan Toulouse 3, 1995 | 2 | 1995 |
SynchroState: A SPEM-based Solution for Synchronizing Activities and Products through State Transitions A Rochd, M Zrikem, T Millan, C Percebois, C Baron, A Ayadi The international Arab journal of information technology 15 (6), 951-961, 2018 | 1 | 2018 |
Utilisation des bases de données orientées graphe comme référentiels de modèles T Millan Revue des Sciences et Technologies de l'Information-Série TSI: Technique et …, 2017 | 1 | 2017 |
A Dynamic Type System for OCL T Millan, H Leblanc, C Percebois IRIT, 2017 | 1 | 2017 |