Filtrer vos résultats
- 24
- 13
- 20
- 11
- 4
- 1
- 1
- 11
- 35
- 2
- 1
- 1
- 7
- 1
- 1
- 3
- 2
- 1
- 3
- 2
- 6
- 1
- 1
- 7
- 2
- 32
- 5
- 28
- 21
- 21
- 9
- 8
- 8
- 3
- 3
- 2
- 1
- 1
- 37
- 12
- 10
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
37 résultats
|
|
triés par
|
|
Traçabilité by design : conception d'un système interactif pour améliorer la génération automatique de traces Git pendant une activité d'apprentissage11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.68-79
Communication dans un congrès
hal-04144980v1
|
||
|
Extended version of the paper "Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity2023
Pré-publication, Document de travail
hal-04141003v1
|
||
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs[Research Report] RR-8030, INRIA. 2012
Rapport
hal-00721049v1
|
||
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
Communication dans un congrès
hal-00766793v1
|
||
A Compositional Approach on Modal Specifications for Timed Systems.11th International Conference on Formal Engineering Methods (ICFEM'09), Dec 2009, Rio de Janeiro, Brazil. pp.679-697
Communication dans un congrès
inria-00424356v1
|
|||
|
Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students18th European Conference on Technology-Enhanced Learning (EC-TEL 2023), European Association of Technology-Enhanced Learning, Sep 2023, Aveiro, Portugal. pp.294-307, ⟨10.1007/978-3-031-42682-7_20⟩
Communication dans un congrès
hal-04211163v1
|
||
|
Modal event-clock specifications for timed component-based designScience of Computer Programming, 2012, 77, pp.1212-1234. ⟨10.1016/j.scico.2011.01.007⟩
Article dans une revue
hal-00752449v1
|
||
Causality Analysis in Contract ViolationRuntime Verification, Nov 2010, St Julians, Malta. pp.270-284
Communication dans un congrès
inria-00548815v1
|
|||
|
MAccS: a Tool for Reachability by Design11th International Symposium on Formal Aspects of Component Software (FACS 2014), Sep 2014, Bertinoro, Italy. pp.191--197, ⟨10.1007/978-3-319-15317-9_12⟩
Communication dans un congrès
hal-03260609v1
|
||
|
Why are modalities good for Interface Theories?[Research Report] RR-6899, INRIA. 2009
Rapport
inria-00375098v1
|
||
|
Why are modalities good for Interface Theories?The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany
Communication dans un congrès
inria-00389051v1
|
||
|
Contracts for Systems Design: Methodology and Application cases[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
Rapport
hal-01178469v1
|
||
|
Mise en oeuvre d'approches pédagogiques fondées sur des pratiques de l'industrie du logiciel pour l'apprentissage de la programmation2020 Colloque Didapro 8 : L’informatique, objets d’enseignements (DidaSTIC 2020), Feb 2020, Lille, France. pp.1-12
Communication dans un congrès
hal-02960444v1
|
||
Git4School: A Dashboard for Supporting Teacher Interventions in Software Engineering CoursesEC-TEL 2020 - Fifteenth European Conference on Technology Enhanced Learning, Sep 2020, Heidelberg (GER) Online, France. pp.392-397, ⟨10.1007/978-3-030-57717-9_33⟩
Communication dans un congrès
hal-02946555v1
|
|||
|
Développement dirigé par les tests et revue de code par les pairs pour l'apprentissage de la programmationLudovia CH: 1ère édition sur le thème "Émanciper l’école et la société avec le numérique ?", Lyonel Kaufmann, Haute école pédagogique du canton de Vaud, Suisse, Mar 2018, Yverdon-Les-Bains, Suisse. pp.1-4
Communication dans un congrès
hal-02903787v1
|
||
|
Finding behavioral indicators from contextualized commits in software engineering courses with process mining2nd International Workshop on Frontiers in Software Engineering Education (FISEE 2023), Jan 2023, Villebrumier, France. pp.56-68, ⟨10.1007/978-3-031-48639-5_5⟩
Communication dans un congrès
hal-04332205v1
|
||
|
Residual for Component Specifications[Research Report] PI 1843, 2007, pp.19
Rapport
inria-00142027v1
|
||
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based ProtocolsThird International Workshop Formal Techniques for Safety-Critical Systems (FTSCS 2014), Nov 2014, Luxembourg, Luxembourg. pp.1--17, ⟨10.1007/978-3-319-17581-2_6⟩
Communication dans un congrès
hal-03263726v1
|
|||
|
Residual for Component Specifications[Research Report] RR-6196, INRIA. 2007
Rapport
inria-00141898v3
|
||
|
Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩
Communication dans un congrès
hal-04347305v1
|
||
|
Mixed Nondeterministic-Probabilistic AutomataDiscrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩
Article dans une revue
hal-04276789v1
|
||
|
Contracts for System Design[Research Report] RR-8147, INRIA. 2012, pp.65
Rapport
hal-00757488v1
|
||
Modal Contracts for Component-based DesignSEFM'09, Nov 2009, Hanoi, Vietnam. pp.295-303
Communication dans un congrès
hal-00665205v1
|
|||
Ensuring Reachability by Design9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227
Communication dans un congrès
hal-00766735v1
|
|||
|
Solving Language Equations Using Flanked AutomataATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 - 121, ⟨10.1007/978-3-319-46520-3_7⟩
Communication dans un congrès
hal-01202702v2
|
||
|
Ensuring Reachability by Design[Research Report] RR-7928, INRIA. 2012, pp.1-20
Rapport
hal-00696151v1
|
||
|
Git4School : un tableau de bord pour assister la prise de décisions de l'enseignant lors des cours de génie logicielSTICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), 2021, Numéro Spécial : Technologies pour l’apprentissage de l’Informatique de la maternelle à l’université, 28 (3), pp.1-20. ⟨10.23709/sticef.28.3.2⟩
Article dans une revue
hal-03617760v1
|
||
|
Quotient of Acceptance Specifications under Reachability Constraints9th International Conference on Language and Automata Theory and Applications (LATA 2015), Mar 2015, Nice, France. pp.299--311, ⟨10.1007/978-3-319-15579-1_23⟩
Communication dans un congrès
hal-03190206v1
|
||
|
Mixed Nondeterministic-Probabilistic Interfaces[Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40
Rapport
hal-02985273v1
|
||
Modal Interfaces: Unifying Interface Automata and Modal Specifications.Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France
Communication dans un congrès
inria-00555742v1
|
- 1
- 2