Følg
Amal Ahmed Anda
Tittel
Sitert av
Sitert av
År
Towards improved requirements engineering with SysML and the user requirements notation
D Amyot, AA Anda, M Baslyman, L Lessard, JM Bruel
2016 IEEE 24th International Requirements Engineering Conference (RE), 329-334, 2016
242016
Arithmetic semantics of feature and goal models for adaptive cyber-physical systems
AA Anda, D Amyot
2019 IEEE 27th International Requirements Engineering Conference (RE), 245-256, 2019
192019
An arithmetic semantics for GRL goal models with function generation
Y Fan, AA Anda, D Amyot
System Analysis and Modeling. Languages, Methods, and Tools for Systems …, 2018
182018
Modeling adaptive socio-cyber-physical systems with goals and SysML
AA Anda
2018 IEEE 26th International Requirements Engineering Conference (RE), 442-447, 2018
142018
Consistency Analysis for User Requirements Notation Models.
O Akhigbe, D Amyot, AA Anda, L Lessard, D Xiao
iStar, 43-48, 2016
102016
Self-Adaptation Driven by SysML and Goal Models–A Literature Review
AA Andaa, D Amyot
e-Informatica Software Engineering Journal 16 (1), 2022
82022
An optimization modeling method for adaptive systems based on goal and feature models
A Anda, D Amyot
2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE …, 2020
82020
Symboleo2SC: From legal contract specifications to smart contracts
A Rasti, D Amyot, A Parvizimosaed, M Roveri, L Logrippo, AA Anda, ...
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
62022
Traceability management of GRL and SysML models
AA Anda, D Amyot
Proceedings of the 12th System Analysis and Modelling Conference, 117-126, 2020
42020
Combining goals and SysML for traceability and decision-making in the development of adaptive socio-cyber-physical systems
AA Anda
Université d'Ottawa/University of Ottawa, 2020
42020
Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems
AA Anda, D Amyot
Journal of Integrated Design and Process Science 25 (2), 141-177, 2021
12021
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges
S Alfuhaid, D Amyot, AA Anda, J Mylopoulos
IEEE Access, 2023
2023
Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models
AA Anda, D Amyot, J Mylopoulos
Modelling 4 (2), 133-167, 2023
2023
Chairs
S Ebersold, M Ahmad, AA Anda, M Bersani, A Bucchiarone, JYM Bruel, ...
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–14