Reusing metamodels and notation with Diagram Definition von Bock, Conrad, Elaasar, Maged

Volltext

A systematic identification of consistency rules for UML diagrams von Torre, Damiano, Labiche, Yvan, Genero, Marcela, Elaasar, Maged

Volltext

How consistency is handled in model-driven software engineering and UML: an expert opinion survey von Torre, Damiano, Genero, Marcela, Labiche, Yvan, Elaasar, Maged

Volltext

Testing self-healing cyber-physical systems under uncertainty: a fragility-oriented approach von Ma, Tao, Ali, Shaukat, Yue, Tao, Elaasar, Maged

Volltext

Definition of Modeling vs. Programming Languages von Elaasar, Maged

Volltext

Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages von Elaasar, Maged, Badreddin, Omar

Volltext

Autonomica: Ontological Modeling and Analysis of Autonomous Behavior von Elaasar, Maged, Rouquette, Nicolas, Havelund, Klaus, Feather, Martin, Bandyopadhyay, Saptarshi, Candela, Alberto

Volltext

Scope in model transformations von Jukšs, Māris, Verbrugge, Clark, Elaasar, Maged, Vangheluwe, Hans

Volltext

VPML: an approach to detect design patterns of MOF-based modeling languages von Elaasar, Maged, Briand, Lionel C., Labiche, Yvan

Volltext

ESEM: Automated Systems Analysis using Executable SysML Modeling Patterns von Karban, Robert, Jankevičius, Nerijus, Elaasar, Maged

Volltext

Diagram definition: a case study with the UML class diagram von Elaasar, Maged, Labiche, Yvan

Volltext

A metamodeling approach to pattern specification von Elaasar, Maged, Briand, Lionel C., Labiche, Yvan

Volltext

Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study von Elaasar, Maged, Neal, Adam

Volltext

Design Management: A Collaborative Design Solution von Elaasar, Maged, Conallen, James

Volltext

Fragility-Oriented Testing with Model Execution and Reinforcement Learning von Ma, Tao, Ali, Shaukat, Yue, Tao, Elaasar, Maged

Volltext

Diagram Definition: A Case Study with the UML Class Diagram von Elaasar, Maged, Labiche, Yvan

Volltext

Model Interchange Testing: A Process and a Case Study von Elaasar, Maged, Labiche, Yvan

Volltext

Satellite transport protocol handling bit corruption, handoff and limited connectivity von Elaasar, M.E., Barbeau, M., Kranakis, E., Zheyin Li

Volltext

Domain-Specific Model Verification with QVT von Elaasar, Maged, Briand, Lionel, Labiche, Yvan

Volltext

Detecting design patterns in models by utilizing transformation language von ELAASAR MAGED

Volltext bestellen