Filtrer vos résultats
- 34
- 14
- 32
- 10
- 6
- 48
- 2
- 3
- 4
- 5
- 4
- 7
- 4
- 2
- 3
- 5
- 2
- 2
- 1
- 2
- 2
- 48
- 43
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 48
- 25
- 11
- 10
- 7
- 7
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
48 résultats
|
|
|
triés par
|
Model-Driven Development Processes and Practices: Foundations and Research Perspectives1st International Workshop on Model-Driven Development Processes and Practices, Sep 2014, Valencia, Spain. pp.2-6
Communication dans un congrès
hal-01215723v1
|
|||
MDA Tool Components: A Proposal for Packaging Know-how in Model Driven DevelopmentSoftware and Systems Modeling, 2008, 7 (3), pp.329-343. ⟨10.1007/s10270-007-0058-8⟩
Article dans une revue
istex
hal-01175900v1
|
|||
|
|
Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering ApproachesJournal of Software: Evolution and Process, 2012, 24 (7), pp.765-781. ⟨10.1002/smr.494⟩
Article dans une revue
inria-00538462v1
|
||
A Framework to Formally Verify Conformance of a Software Process to a Software Method30th ACM/SIGAPP Symposium On Applied Computing SAC, Apr 2015, Salamanca, Spain. pp.1518-1525, ⟨10.1145/2695664.2695789⟩
Communication dans un congrès
hal-01215911v1
|
|||
|
|
Alloy4SPV : A Formal Framework for Software Process VerificationECMFA 2014 - 10th European Conference on Modelling Foundations and Applications, Jul 2014, York, United Kingdom. pp.83-100, ⟨10.1007/978-3-319-09195-2_6⟩
Communication dans un congrès
hal-01088192v1
|
||
Coadapting multidimension process propertiesJournal of Software: Evolution and Process, 2017, Special Issue: Process in Action: The Best Papers from The International Conference on Software and Systems Process 2016, 29 (11), pp.e1860. ⟨10.1002/smr.1860⟩
Article dans une revue
hal-02078422v1
|
|||
Proceedings of the 1st workshop on Process-Centred Approaches for Model-Driven Engineering (PMDE), associated with ECMFA 2011IRIT editions, 2011, 1-4020-7996-6
Proceedings/Recueil des communications
hal-01287969v1
|
|||
Proceedings of the 2017 International Conference on Software and System Process, Paris, France, ICSSP 2017ACM, 2017, 978-1-4503-5270-3
Proceedings/Recueil des communications
hal-02091093v1
|
|||
|
|
Executing and debugging UML models: an fUML extensionSAC'13 - The 28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.1095-1102, ⟨10.1145/2480362.2480569⟩
Communication dans un congrès
hal-01088175v1
|
||
|
|
Generation of Process Using Multi-Objective Genetic AlgorithmInternational Conference on Software and System Process, ICSSP 2013, May 2013, San Francisco, CA, United States. pp.161-165, ⟨10.1145/2486046.2486076⟩
Communication dans un congrès
hal-01088189v1
|
||
From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics StandardsInternational Conference on Software Engineering Research and Practice (SERP '04), Jun 2004, Las Vegas, United States. pp.407-416
Communication dans un congrès
hal-01520003v1
|
|||
Towards Automated Inconsistency Handling in Design Models22nd International Conference on Advanced Information Systems Engineering, CAiSE 2010, Jun 2010, Hammamet, Tunisia. pp.348-362, ⟨10.1007/978-3-642-13094-6_28⟩
Communication dans un congrès
istex
hal-01292626v1
|
|||
Support for deviation detections in the context of multi-viewpoint-based development processesCAiSE'12 Forum at the 24th International Conference on Advanced Information Systems Engineering, Jun 2012, Gdansk, Poland. pp.23-31
Communication dans un congrès
hal-01272420v1
|
|||
|
|
Innovative process paradigms and data driven analytics: A new horizon for software and systems processJournal of Software: Evolution and Process, 2019, Innovative process paradigms and data driven analytics: A new horizon for software and systems process, 31 (6), ⟨10.1002/smr.2206⟩
Article dans une revue
hal-03115041v1
|
||
|
|
ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-supervised Techniques23RD IEEE INTERNATIONAL EDOC CONFERENCE - THE ENTERPRISE COMPUTING CONFERENCE, Oct 2019, Paris, France
Communication dans un congrès
hal-02201469v1
|
||
|
|
Formalization of fUML: An Application to Process VerificationCAiSE 2014 - The 26th International Conference on Advanced Information Systems Engineering, Jun 2014, Thessaloniki, Greece. pp.347-363, ⟨10.1007/978-3-319-07881-6_24⟩
Communication dans un congrès
hal-01088190v1
|
||
AD-ROOM: a tool for automatic detection of refactorings in object-oriented modelsICSE 2016 - 38th International Conference on Software Engineering, May 2016, Austin, United States. pp.617-620, ⟨10.1145/2889160.2889169⟩
Communication dans un congrès
hal-01374344v1
|
|||
|
|
Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition7th European Conference on Modelling Foundations and Applications (ECMFA), Jun 2011, Birmingham, United Kingdom. 6698, Springer, pp.383-384, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-21470-7_29⟩
Proceedings/Recueil des communications
istex
hal-01284836v1
|
||
Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach33rd EUROMICRO Conference SEAA, Aug 2007, Lübeck, Germany. pp.314-321, ⟨10.1109/EUROMICRO.2007.55⟩
Communication dans un congrès
hal-01334845v1
|
|||
Reporting on a Survey on Approaches to Co-Evolution of Metamodels and ModelsSoftware Engineering, 2018, Berlin, Germany
Communication dans un congrès
hal-02091086v1
|
|||
Detecting complex changes and refactorings during (Meta)model evolutionInformation Systems, 2016, Information Systems, 62, ⟨10.1016/j.is.2016.05.002⟩
Article dans une revue
hal-01374680v1
|
|||
Early Deviation Detection in Modeling Activities of MDE ProcessesACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Oct 2010, Oslo, Norway. pp.303-317, ⟨10.1007/978-3-642-16129-2_22⟩
Communication dans un congrès
istex
hal-01293860v1
|
|||
Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes22nd International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2013, Jun 2013, Hammamet, Tunisia. pp.209-217, ⟨10.1109/WETICE.2013.76⟩
Communication dans un congrès
hal-01216509v1
|
|||
UML4SPM: A UML2.0-Based Metamodel for Software Process ModellingACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS '05), Oct 2005, Montego Bay, Jamaica. pp.17-38, ⟨10.1007/11557432_3⟩
Communication dans un congrès
istex
hal-01486927v1
|
|||
|
|
Planning for Declarative ProcessesSAC'14 - The 29th Annual ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.1126-1133, ⟨10.1145/2554850.2554998⟩
Communication dans un congrès
hal-01088183v1
|
||
|
|
Approaches to Co-Evolution of Metamodels and Models: A SurveyIEEE Transactions on Software Engineering, 2017, 43 (5), pp.396-414. ⟨10.1109/TSE.2016.2610424⟩
Article dans une revue
hal-01525676v1
|
||
Surveying the Corpus of Model Resolution Strategies for Metamodel EvolutionAsia-Pacific Software Engineering Conference, Dec 2015, New Delhi, India. pp.135 - 142, ⟨10.1109/APSEC.2015.40⟩
Communication dans un congrès
hal-01474568v1
|
|||
|
|
ICSSP 2015-Special Issue IntroductionJournal of Software: Evolution and Process, 2016, 28 (9), pp.716 - 721. ⟨10.1002/smr.1786⟩
Article dans une revue
hal-01474572v1
|
||
Artifact or Process Guidance, an Empirical StudyMoDELS (2), Oct 2010, Oslo, Norway. pp.318-330, ⟨10.1007/978-3-642-16129-2_23⟩
Communication dans un congrès
istex
hal-01293856v1
|
|||
UML4SPM: An Executable Software Process Modelling Language Providing High-Level Abstractions10th International IEEE Enterprise Distributed Object Computing Conference (EDOC '06), Oct 2006, Hong Kong, China. pp.297-306, ⟨10.1109/EDOC.2006.65⟩
Communication dans un congrès
hal-01351625v1
|
- 1
- 2