Filtrer vos résultats
- 8
- 4
- 6
- 5
- 1
- 12
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 2
- 11
- 3
- 1
- 1
- 12
- 8
- 6
- 6
- 5
- 2
- 1
- 1
- 1
- 1
- 1
12 résultats
|
|
|
triés par
|
|
|
Designing a Framework for Smart IoT AdaptationsInternational Conference on Emerging Technologies for Developing Countries, Mar 2017, Marrakech, Morocco
Communication dans un congrès
hal-01592470v1
|
||
|
|
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
|
||
|
|
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
|
||
State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System RequirementsJournal of Integrated Design and Process Science, 2021, 25 (2), pp.80-99. ⟨10.3233/JID210027⟩
Article dans une revue
hal-03708271v1
|
|||
A pattern based approach for requirements engineeringRequirements Engineering Process, 1999, Italy. pp.310 - 314
Communication dans un congrès
hal-00707628v1
|
|||
A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineeringSPLC '20: 24th ACM International Systems and Software Product Line Conference, Oct 2020, Montreal (QC), Canada. pp.13-20, ⟨10.1145/3382026.3425774⟩
Communication dans un congrès
hal-03104184v1
|
|||
A Reuse Based Approach for Requirements EngineeringACS/IEEE International Conference on Computer System and Applications, 2001, Lebanon. pp.1
Communication dans un congrès
hal-00707083v1
|
|||
|
|
Graphes "State Constraint Transition" : un langage pour la spécification formelle des systèmes de systèmes dynamiquesInformatique et langage [cs.CL]. Université Panthéon-Sorbonne - Paris I; Université Mohammed V (Rabat), 2020. Français. ⟨NNT : 2020PA01E071⟩
Thèse
tel-03967057v1
|
||
|
|
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
|
||
|
|
Selecting SPL Modeling Languages: a Practical GuideConference, Nov 2015, Marrakech, Morocco
Communication dans un congrès
hal-01527521v1
|
||
Approches par points de vue pour l'ingénierie des Systèmes d'informationRevue électronique internationale e-TI (e-revue en Technologies de l'Information), 2009, 5
Article dans une revue
hal-00953015v1
|