Filtrer vos résultats
- 70
- 25
- 1
- 57
- 25
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 96
- 2
- 1
- 5
- 4
- 6
- 6
- 13
- 4
- 2
- 6
- 10
- 9
- 6
- 5
- 6
- 4
- 7
- 2
- 1
- 87
- 7
- 2
- 82
- 27
- 6
- 5
- 4
- 3
- 3
- 3
- 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
- 96
- 67
- 21
- 10
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
96 résultats
|
|
Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons LearnedIEEE Access, 2022, 10, pp.124747-124765. ⟨10.1109/ACCESS.2022.3225074⟩
Article dans une revue
hal-03967801v1
|
||
|
|
A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability ModelsSOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering, IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy
Communication dans un congrès
hal-04077798v1
|
||
|
|
Methods, Techniques and Tools for Product Line Model Verification2008
Pré-publication, Document de travail
halshs-00323675v1
|
||
|
|
Constraint Programming as a Means to Manage Configurations in Self-Adaptive SystemsSpecial Issue in IEEE Computer Dynamic Software Product Lines, 2012, pp.1-12
Article dans une revue
hal-00747723v1
|
||
|
|
Method to Identify Corrections of Defects on Product Line ModelsElectronic Notes in Theoretical Computer Science, 2015, 314, pp.61-81. ⟨10.1016/j.entcs.2015.05.005⟩
Article dans une revue
hal-02296117v1
|
||
|
|
REFAS: A PLE Approach for Simulation of Self-Adaptive Systems RequirementsSPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.444, ⟨10.1145/2791060.2791102⟩
Communication dans un congrès
hal-01185791v1
|
||
|
|
Using Constraint Programming to Verify DOPLER Variability Models5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium
Communication dans un congrès
hal-00707543v1
|
||
|
|
Preference-based Conflict Resolution for Collaborative Configuration of Product LinesInternational Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
Communication dans un congrès
hal-02502398v1
|
||
|
|
Product Line Configurations guided by Process TracesJournées nationales du Génie de la Programmation et du Logiciel, Jun 2019, Toulouse, France
Poster de conférence
hal-02295947v1
|
||
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line ModelsInternational Workshop on Variability Modelling of Software-intensive Systems, Jan 2009, Seville, Spain. pp.173-176
Communication dans un congrès
hal-00663459v1
|
|||
|
|
ConfiLog: An approach to Guide Product Line Configuration Processes based on Configuration Traces2019
Pré-publication, Document de travail
hal-02295969v1
|
||
|
|
Guidelines for the Specification of IoT Requirements: A Smart Cars CaseIoT Protocols and Applications for Improving Industry, Environment, and Society, 2021
Article dans une revue
hal-03566030v1
|
||
|
|
Management Capabilities for Mobile and IoT Devices: An Evaluation FrameworkInternational Journal of Engineering and Advanced Technology, 2019, 8 (6), pp.420-430. ⟨10.35940/ijeat.E7822.088619⟩
Article dans une revue
hal-02301045v1
|
||
|
|
Using the AMAN-DA method to generate security requirements: a case study in the maritime domain2017
Pré-publication, Document de travail
hal-01584857v1
|
||
|
|
Reference software architecture for improving modifiability of personalised web applications - a controlled experimentInternational Journal of Web Engineering and Technology, 2016, 11 (4), pp.351-370. ⟨10.1504/IJWET.2016.081768⟩
Article dans une revue
hal-01527375v1
|
||
|
|
Taxonomy of Requirements Specification TemplatesSoftEng 23, Apr 2023, Venice, Italy
Communication dans un congrès
hal-04105054v1
|
||
|
|
Towards a new template for the specification of requirements in semi-structured natural languageJournal of Software Engineering Research and Development, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
Article dans une revue
hal-02502411v1
|
||
|
|
A Domain-specific Modeling Framework for Attack Surface ModelingICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
Communication dans un congrès
hal-02502387v1
|
||
|
|
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver Agnostic ApproachACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Oct 2023, Lisboa, Portugal. ⟨10.1145/3624007.3624060⟩
Communication dans un congrès
hal-04330769v1
|
||
|
|
Dynamic adaptation of service compositions with variability modelsJournal of Systems and Software, 2014, 91, pp.24-47. ⟨10.1016/j.jss.2013.06.034⟩
Article dans une revue
hal-02296121v1
|
||
|
|
VariaMos: an extensible tool for engineering (dynamic) product linesSPLC 2015, Vanderbilt University, Jul 2015, Nashville, United States. pp.374-379, ⟨10.1145/2791060.2791103⟩
Communication dans un congrès
hal-01185815v1
|
||
|
|
Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line ModelsINSIGHT - International Council on Systems Engineering (INCOSE), 2011, 14 (4), pp.22
Article dans une revue
hal-00707418v1
|
||
|
|
Defects in Product Line Models and how to Identify themAbdelrahman Elfaki. Software Product Line - Advanced Topic, InTech editions, pp.50, 2012, 978-953-51-0436-0
Chapitre d'ouvrage
hal-00707461v1
|
||
|
|
Solving Integer Constraint in Reuse Based Requirements Engineering18th IEEE International Conference on Requirements Engineering (RE'10), Sep 2010, Sydney, Australia. pp.50
Communication dans un congrès
hal-00707542v1
|
||
|
|
A DSPL Design Framework for SASs: A Smart Building ExampleEAI Endorsed Transactions on Smart Cities, 2018, 2 (8), ⟨10.4108/eai.26-6-2018.154829⟩
Article dans une revue
hal-01843035v1
|
||
|
|
Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
Communication dans un congrès
hal-03647680v1
|
||
|
|
“Snapshot” of the State of Software Reuse in ColombiaRevista Científica de la Universidad Distrital, 2022, 44 (2), pp.242-256. ⟨10.14483/23448350.18389⟩
Article dans une revue
hal-03865842v1
|
||
|
|
Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructuradoRequirements Engineering Track (RET) of CIbSE, 2019, Habana, Cuba
Communication dans un congrès
hal-02502483v1
|
||
|
|
A Constraint-based Approach to Deal with Self-Adaptation: The Case of Smart Irrigation SystemsInternational journal of advanced computer science and applications (IJACSA), 2019, 10 (7), ⟨10.14569/IJACSA.2019.0100727⟩
Article dans une revue
hal-02301021v1
|
||
|
|
A Method based on Association Rules to Construct Product Line Model4th International Workshop on Variability Modelling of Software-intensive Systems (VaMos), Jan 2010, Linz, Austria. pp.50
Communication dans un congrès
hal-00707527v1
|