Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization von Boufaied, Chaima, Maris Jukss, Bianculli, Domenico, Briand, Lionel Claude, Yago Isasi Parache

Volltext

Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization von Boufaied, Chaima, Jukss, Maris, Bianculli, Domenico, Briand, Lionel Claude, Isasi Parache, Yago

Volltext

A Prototype of Description Language for the Two-Hemisphere Model von Gusarovs, Konstantins, Nikiforova, Oksana, Jukss, Maris

Volltext

Comparison of the Two-Hemisphere Model-Driven Approach to Other Methods for Model-Driven Software Development von Nikiforova, Oksana, Kozacenko, Ludmila, Ahilcenoka, Dace, Gusarovs, Konstantins, Ungurs, Dainis, Jukss, Maris

Volltext

BrainTool v2.0 for Software Modeling in UML von Nikiforova, Oksana, Kozacenko, Ludmila, Ungurs, Dainis, Ahilcenoka, Dace, Bajovs, Andrejs, Skindere, Nadezda, Gusarovs, Konstantins, Jukss, Maris

Volltext

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

Volltext

Search-Based Model Optimization Using Model Transformations von Denil, Joachim, Jukss, Maris, Verbrugge, Clark, Vangheluwe, Hans

Volltext

FTG+PM: An Integrated Framework for Investigating Model Transformation Chains von Lúcio, Levi, Mustafiz, Sadaf, Denil, Joachim, Vangheluwe, Hans, Jukss, Maris

Volltext

Dynamic Scope Discovery for Model Transformations von Jukšs, Māris, Verbrugge, Clark, Varró, Dániel, Vangheluwe, Hans

Volltext

An empirical characterization of software bugs in open-source Cyber–Physical Systems von Zampetti, Fiorella, Kapur, Ritu, Di Penta, Massimiliano, Panichella, Sebastiano

Volltext

VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems von Weidmann, Nils, Anjorin, Anthony, Cheney, James

Volltext

Agile model-based system development von Gray, Jeff, Rumpe, Bernhard

Volltext