Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Elaasar, Maged
29  Ergebnisse:
Personensuche X
?
1

openCAESAR: Balancing Agility and Rigor in Model-Based Syst..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Elaasar, Maged ; Rouquette, Nicolas ; Wagner, David... - p. 221-230 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Autonomica: Ontological Modeling and Analysis of Autonomous..:

Elaasar, Maged ; Rouquette, Nicolas ; Havelund, Klaus...
INCOSE International Symposium.  33 (2023)  1 - p. 1570-1585 , 2023
Link: https://doi.org/10.1002/..
 
?
3

Building a Semantic Layer for Early Design Trade Studies in..:

, In: 2022 IEEE International Symposium on Systems Engineering (ISSE),
Zindel, Andreas ; Feo-Arenis, Sergio ; Helle, Philipp.. - p. 1-8 , 2022
Link: https://doi.org/10.1109/..
 
?
4

How consistency is handled in model-driven software enginee..:

Torre, Damiano ; Genero, Marcela ; Labiche, Yvan.
Software Quality Journal.  31 (2022)  1 - p. 1-54 , 2022
Link: https://doi.org/10.1007/..
 
?
5

UML Consistency Rules : a Case Study with Open-Source UM..:

, In: Proceedings of the 8th International Conference on Formal Methods in Software Engineering,
Torre, Damiano ; Labiche, Yvan ; Genero, Marcela.. - p. 130-140 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

CAESAR Model-Based Approach to Harness Design:

, In: 2020 IEEE Aerospace Conference,
Wagner, David ; Kim-Castet, So Young ; Jimenez, Alejandro... - p. 1-13 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Adaptation and Implementation of the ISO42010 Standard to S..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,
Elaasar, Maged ; Noyrit, Florian ; Badreddin, Omar. - p. 236-258 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Testing self-healing cyber-physical systems under uncertain..:

Ma, Tao ; Ali, Shaukat ; Yue, Tao.
Software Quality Journal.  27 (2019)  2 - p. 615-649 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Definition of Modeling vs. Programming Languages:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling; Lecture Notes in Computer Science,
Elaasar, Maged - p. 35-51 , 2018
Link: https://doi.org/10.1007/..
 
?
10

CIAhelper : towards change impact analysis in delta-orie..:

, In: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1,
Hamza, Mostafa ; Walker, Robert J. ; Elaasar, Maged - p. 31-42 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

UML diagram synthesis techniques : a systematic mapping ..:

, In: Proceedings of the 10th International Workshop on Modelling in Software Engineering,
Torre, Damiano ; Labiche, Yvan ; Genero, Marcela.. - p. 33-40 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

A systematic identification of consistency rules for UML di..:

Torre, Damiano ; Labiche, Yvan ; Genero, Marcela.
Journal of Systems and Software.  144 (2018)  - p. 121-142 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Unanticipated Evolution in Software Product Lines versus In..:

, In: Proceedings of the 21st International Systems and Software Product Line Conference - Volume B,
Hamza, Mostafa ; Walker, Robert J. ; Elaasar, Maged - p. 97-104 , 2017
Link: https://dl.acm.org/doi/1..
 
?
14

Reusing metamodels and notation with Diagram Definition:

Bock, Conrad ; Elaasar, Maged
Software & Systems Modeling.  17 (2016)  4 - p. 1079-1103 , 2016
Link: https://doi.org/10.1007/..
 
?
15

Scope in model transformations:

Jukšs, Māris ; Verbrugge, Clark ; Elaasar, Maged.
Software & Systems Modeling.  17 (2016)  4 - p. 1227-1252 , 2016
Link: https://doi.org/10.1007/..
 
1-15