Filtrer vos résultats
- 9
- 5
- 13
- 1
- 14
- 1
- 2
- 1
- 2
- 2
- 2
- 2
- 2
- 14
- 13
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 7
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
14 résultats
|
|
triés par
|
Collaborative Software Engineering on Large-scale models: Requirements and Experience in ModelBus23rd Annual ACM Symposium on Applied Computing (SAC'08), Mar 2008, Fortaleza, Ceará, Brazil. pp.674-681, ⟨10.1145/1363686.1363849⟩
Communication dans un congrès
hal-00668912v1
|
|||
|
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
|
||
ProVer: an SMT-based approach for process verificationModel-Driven Engineering Verification & Validation, MoDELS Workshop, Oct 2018, Copenhague, Denmark. pp.555--562
Communication dans un congrès
hal-02091071v1
|
|||
|
Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL ConstraintsICSR 2016 - 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus. pp.333-349, ⟨10.1007/978-3-319-35122-3_22⟩
Communication dans un congrès
hal-01374665v1
|
||
|
D-Praxis: A Peer-to-Peer Collaborative Model Editing Framework9th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS'09), Jun 2009, Lisbonne, Portugal. pp.16-29, ⟨10.1007/978-3-642-02164-0_2⟩
Communication dans un congrès
hal-00669776v1
|
||
|
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
|
||
|
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and SimulationICSP 2009 - International Conference on Software Process, May 2009, Vancouver, Canada. pp.148-160, ⟨10.1007/978-3-642-01680-6_15⟩
Communication dans un congrès
inria-00468652v1
|
||
Supporting the co-adaption of process propertiesInternational Conference on Software and Systems Process, Dewayne E. Perry, May 2016, Austin, TX, United States. pp.1 - 5, ⟨10.1145/2904354.2904371⟩
Communication dans un congrès
hal-01474565v1
|
|||
|
On Lightweight Metamodel Extension to Support Modeling Tools Agility11th European Conference on Modelling Foundations and Applications (ECMFA 2015) (a STAF 2015 conference), Jul 2015, L'Aquila, Italy. pp.62-74, ⟨10.1007/978-3-319-21151-0_5⟩
Communication dans un congrès
hal-01146802v1
|
||
|
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
|
||
|
Flexible Deviation Handling during Software Process Enactment15th IEEE Workshops on International Enterprise Distributed Object Computing Conference (EDOCW), Aug 2011, Helsinki, Finland. pp.34-41, ⟨10.1109/EDOCW.2011.37⟩
Communication dans un congrès
hal-00626842v1
|
||
|
Vers l'Exécutabilité des Modèles de Procédés Logiciels14ème colloque international sur les Langages et Modèles à Objets (LMO'08), Mar 2008, Montréal, Quebec, Canada. pp.153-168
Communication dans un congrès
inria-00371227v1
|
||
Lumping partially symmetrical stochastic modelsPerformance Evaluation, 2011, 68 (1), pp.21-44. ⟨10.1016/j.peva.2010.09.002⟩
Article dans une revue
istex
hal-00779940v1
|