Filtrer vos résultats
- 18
- 6
- 21
- 2
- 1
- 24
- 2
- 1
- 3
- 2
- 2
- 4
- 5
- 1
- 1
- 2
- 1
- 23
- 1
- 23
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 24
- 12
- 7
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
24 résultats
|
|
triés par
|
|
Collaborative Processes Management: from Modeling to Enacting22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018), May 2018, Nanjing, China. pp.0
Communication dans un congrès
hal-02279376v1
|
||
An Approach to Define and Apply Collaboration Process Patterns for Software Development3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015) in conjunction with ICISSP 2015, Feb 2015, Angers, France. pp.248--262, ⟨10.1007/978-3-319-27869-8_14⟩
Communication dans un congrès
hal-03209316v1
|
|||
Towards an Enactment Mechanism for MODAL Process ModelsECMFA 2011, Jun 2011, United Kingdom
Communication dans un congrès
hal-00663182v1
|
|||
An AI-Enhanced Process Mining Framework for Software Process Insights15th International Conference on Knowledge and Systems Engineering (KSE 2023), Oct 2023, Hanoï, Vietnam. pp.1-6, ⟨10.1109/KSE59128.2023.10299475⟩
Communication dans un congrès
hal-04334619v1
|
|||
|
Towards a change-aware process environment for system and software processInternational Conference on Software and System Process (co-located with ICSE) (ICSSP 2015), Aug 2015, Tallinn, Estonia. pp.32-41, ⟨10.1145/2785592.2785596⟩
Communication dans un congrès
hal-01514638v1
|
||
|
Towards a Rule-level Verification Framework for Property-Preserving Graph TransformationsWorkshop on Verification and validation Of model Transformations (VOLT 2012) @ ICST 2012 : International Conference on Software Testing, Verification and Validation, IEEE, Apr 2012, Montreal, Canada. ⟨10.1109/ICST.2012.200⟩
Communication dans un congrès
hal-00690923v1
|
||
|
Process Mining to Discover the Global Process from its Fragments’ Executions17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022), Apr 2022, Online Streaming, France. pp.363-370, ⟨10.5220/0011044800003176⟩
Communication dans un congrès
hal-03855295v1
|
||
|
Integrating run-time changes into system and software process enactmentJournal of Software: Evolution and Process, 2016, 28 (9), pp.762-782. ⟨10.1002/smr.1783⟩
Article dans une revue
hal-02538355v1
|
||
|
Defining and Using Collaboration Patterns for Software Process DevelopmentInternational Workshop on Cooperative Model Driven Development (CMDD 2015) within the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Feb 2015, Angers, France. pp.557-564, ⟨10.5220/0005338705570564⟩
Communication dans un congrès
hal-01387807v1
|
||
|
A User-centric Process Management for System and Software Engineering Projects7th International Conference on Industrial Engineering and Systems Management (IESM 2017), Oct 2017, Saarbrücken, Germany. pp.123-128
Communication dans un congrès
hal-02879719v1
|
||
Impact Analysis of Process Change at Run-time,WETICE 2015 (24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises), Track CSP (Collaborative Software Process), Jun 2015, Larcana, Cyprus
Communication dans un congrès
hal-01464213v1
|
|||
|
Toward a Goal-Oriented Methodology for Artifact-Centric Process Modeling18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023), Institute for Systems and Technologies of Information, Control and Communication (INSTICC); ACM Special Interest Group on Management Information Systems (ACM SIGMIS); IEEE SMC - IEEE Technical Committee on Enterprise Information Systems, Apr 2023, Prague, Czech Republic. pp.656-663, ⟨10.5220/0011989900003464⟩
Communication dans un congrès
hal-04334625v1
|
||
|
Provably correct graph transformations with small-tALC11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015), May 2015, Lviv, Ukraine. pp. 78-93
Communication dans un congrès
hal-01517373v1
|
||
|
Alignment of viewpoint heterogeneous design models: Emergency Department Case Study4th International Workshop On the Globalization of Modeling Languages (GEMOC 2016) co-located with ACM/IEEE MODELS 2016, Oct 2016, Saint-Malo, France. pp. 18-27
Communication dans un congrès
hal-01436169v1
|
||
|
MODÉLISATION DE PROCÉDÉS LOGICIELS À BASE DE PATRONS RÉUTILISABLESGénie logiciel [cs.SE]. Université Toulouse le Mirail - Toulouse II, 2007. Français. ⟨NNT : ⟩
Thèse
tel-00545951v1
|
||
|
Using Patterns to parameterize the execution of Collaborative Tasks28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Jun 2019, Capri, Italy. pp.106-111, ⟨10.1109/WETICE.2019.00031⟩
Communication dans un congrès
hal-02456742v1
|
||
|
Rule-level verification of graph transformations for invariants based on edges' transitive closure11th International Conference Software Engineering and Formal Methods (SEFM 2013), Sep 2013, Madrid, Spain. pp. 106-121
Communication dans un congrès
hal-01178554v1
|
||
|
A Precondition Calculus for Correct-by-Construction Graph TransformationsTwelfth International Conference on Software Engineering Advances (ICSEA 2017), Oct 2017, Athens, Greece. pp.172-177
Communication dans un congrès
hal-03656662v1
|
||
|
Coding, Executing and Verifying Graph Transformations with small-tALCQeInternational Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), Jul 2016, Vienna, Austria. pp.1-15
Communication dans un congrès
hal-02879713v1
|
||
|
An Auto-active Approach to Develop Correct Logic-based Graph TransformationsInternational Journal On Advances in Software, 2018, 11 (1 & 2), pp.147-158
Article dans une revue
hal-02089337v1
|
||
|
A Pattern-based Process Management System to flexibly execute Collaborative Tasks14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), May 2019, Heraklion, Crète, Greece. pp.273-280
Communication dans un congrès
hal-02486110v1
|
||
|
Combining Dynamic and Static Analysis to Help Develop Correct Graph TransformationsInternational Conference on Tests and Proofs (TAP 2016), Jul 2016, Vienna, Austria. pp.183-190
Communication dans un congrès
hal-02559762v1
|
||
|
Towards a tool-supported approach for collaborative process modeling and enactmentAPSEC 2011, Dec 2011, Vietnam. pp.XX
Communication dans un congrès
hal-00672684v1
|
||
|
Two-level reasoning about graph transformation programs12th International Conference on Graph Transformation (ICGT 2019), Jul 2019, Eindhoven, Netherlands. pp.111-127
Communication dans un congrès
hal-02451016v1
|