1 |
Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities
|
|
|
|
In: IEEE Transactions on Industrial Informatics ; https://hal.archives-ouvertes.fr/hal-03456142 ; IEEE Transactions on Industrial Informatics, 2021, 14 (30), pp.1 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
|
|
|
|
In: ISSN: 0934-5043 ; EISSN: 1433-299X ; Formal Aspects of Computing ; https://hal.archives-ouvertes.fr/hal-03411215 ; Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩ ; https://link.springer.com/article/10.1007%2Fs00165-021-00543-6 (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Immediate Feedback for Students to Solve Notebook Reproducibility Problems in the Classroom
|
|
|
|
In: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://hal.archives-ouvertes.fr/hal-03378094 ; 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Oct 2021, Saint Louis, Missouri, United States. ⟨10.1109/VL/HCC51201.2021.9576363⟩ (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
|
|
BASE
|
|
Show details
|
|
5 |
SEALS: A framework for building Self-Adaptive Virtual Machines
|
|
|
|
In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Automating user-feedback driven requirements prioritization
|
|
|
|
In: ISSN: 0950-5849 ; EISSN: 1873-6025 ; Information and Software Technology ; https://hal.archives-ouvertes.fr/hal-03277970 ; Information and Software Technology, Elsevier, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩ (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Automatic Guide Generation for Stan via NumPyro
|
|
|
|
In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021)
|
|
BASE
|
|
Show details
|
|
8 |
3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021)
|
|
BASE
|
|
Show details
|
|
9 |
Modelling, Reverse Engineering, and Learning Software Variability
|
|
|
|
In: https://hal.inria.fr/tel-03521806 ; Software Engineering [cs.SE]. Université de Rennes 1, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
10 |
A principled approach to REPL interpreters
|
|
|
|
In: SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity ; https://hal.inria.fr/hal-02968938 ; SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩ (2020)
|
|
BASE
|
|
Show details
|
|
11 |
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
|
|
|
|
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
|
|
BASE
|
|
Show details
|
|
12 |
Causal reasoning and symbolic relationships in Medieval Illuminations ; Raisonnement causale et relations symboliques dans les Enluminures médiévales
|
|
|
|
In: EISSN: 2416-5999 ; Journal of Data Mining and Digital Humanities ; https://hal.archives-ouvertes.fr/hal-01762730 ; Journal of Data Mining and Digital Humanities, Episciences.org, 2019, Special Issue on Data Science and Digital Humanities @ EGC 2018 (2019)
|
|
BASE
|
|
Show details
|
|
13 |
LMF Reloaded
|
|
|
|
In: AsiaLex 2019: Past, Present and Future ; https://hal.inria.fr/hal-02118319 ; AsiaLex 2019: Past, Present and Future, Jun 2019, Istanbul, Turkey (2019)
|
|
BASE
|
|
Show details
|
|
14 |
Wiki support for automated definition of software test cases
|
|
|
|
In: ISSN: 0368-492X ; Kybernetes ; https://hal.archives-ouvertes.fr/hal-02941373 ; Kybernetes, Emerald, 2019, 49 (4), pp.1305-1324. ⟨10.1108/K-10-2018-0548⟩ (2019)
|
|
Abstract:
International audience ; The design of tests is a very important step in the software development process since it allows us to match the users’ expectations with the finished product. Considered as a cumbersome activity, efforts have been made to automatize and alleviate the burden of test generation, but it is still a largely neglected step. We propose taking advantage of existing requirement artifacts, like Scenarios that describe the dynamic of the domain in a very early stage of software development, to obtain tests from them. In particular, the approach proposed complement the Scenarios that are textually described with a glossary, the Language Extended Lexicon. Thus, a set of rules to derive tests from Scenarios is also proposed. The tests are then described using the Task/Method model. The main findings of this work consist of an extension of a previously presented set of rules. And a tool based on a media wiki platform that makes possible to record Scenarios and the Language Extended Lexicon and implement the rules to obtain the tests. The main originality of this work is the glossary which complements Scenarios, the semantic support to obtain tests and the tool to automatize the approach.
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; Agriculture Production Systems; Scenarios; Task/Method model
|
|
URL: https://hal.archives-ouvertes.fr/hal-02941373/document https://hal.archives-ouvertes.fr/hal-02941373/file/Antonelli_26388.pdf https://hal.archives-ouvertes.fr/hal-02941373 https://doi.org/10.1108/K-10-2018-0548
|
|
BASE
|
|
Hide details
|
|
15 |
Generation of Inductive Types from Ecore Metamodels
|
|
|
|
In: Model-Driven Engineering and Software Development. MODELSWARD 2018. ; https://hal.archives-ouvertes.fr/hal-02021361 ; Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019 (2019)
|
|
BASE
|
|
Show details
|
|
16 |
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code
|
|
|
|
In: Modelling and Implementation of Complex Systems ; https://hal.archives-ouvertes.fr/hal-01945245 ; Modelling and Implementation of Complex Systems, pp.259-273, 2019 (2019)
|
|
BASE
|
|
Show details
|
|
17 |
Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools
|
|
|
|
In: Model-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science ; https://hal-cea.archives-ouvertes.fr/cea-02572737 ; Model-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science, pp.236-258, 2019, ⟨10.1007/978-3-030-11030-7_11⟩ (2019)
|
|
BASE
|
|
Show details
|
|
18 |
An LSTM-Based Neural Network Architecture for Model Transformations
|
|
|
|
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) ; https://hal-cea.archives-ouvertes.fr/cea-02572669 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2019, Munich, Germany. pp.294-299, ⟨10.1109/MODELS.2019.00013⟩ (2019)
|
|
BASE
|
|
Show details
|
|
19 |
Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering
|
|
|
|
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ; https://hal-cea.archives-ouvertes.fr/cea-02572659 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.168-169, ⟨10.1109/MODELS-C.2019.00028⟩ (2019)
|
|
BASE
|
|
Show details
|
|
20 |
The Future of Model Transformation Languages: An Open Community Discussion.
|
|
|
|
In: ISSN: 1660-1769 ; The Journal of Object Technology ; https://hal-cea.archives-ouvertes.fr/cea-02572743 ; The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (3), pp.7:1. ⟨10.5381/jot.2019.18.3.a7⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
|