Loading…
Loading…
OIL: an industrial case study in language engineering with Spoofax: OIL: an industrial case study in language engineering with Spoofax
Bunte, Olav, Denkers, Jasper, van Gool, Louis C. M., Vinju, Jurgen J., Visser, Eelco, Willemse, Tim A. C., Zaidman, Andy
Published in Software and systems modeling (01.02.2025)
Published in Software and systems modeling (01.02.2025)
Get full text
Journal Article
Loading…
Toward an ontology for EA modeling and EA model quality
Schoonderbeek, Jan A. H., Proper, Henderik A.
Published in Software and systems modeling (01.06.2024)
Published in Software and systems modeling (01.06.2024)
Get full text
Journal Article
Loading…
Loading…
Loading…
Model-based assurance evidence management for safety–critical systems
de la Vara, Jose Luis, García, Arturo S., Valero, Jorge, Ayora, Clara
Published in Software and systems modeling (01.12.2022)
Published in Software and systems modeling (01.12.2022)
Get full text
Journal Article
Loading…
Loading…
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach
Liaskos, Sotirios, Khan, Shakil M., Mylopoulos, John
Published in Software and systems modeling (01.12.2022)
Published in Software and systems modeling (01.12.2022)
Get full text
Journal Article
Loading…
Understanding Declare models: strategies, pitfalls, empirical results
Haisjackl, Cornelia, Barba, Irene, Zugal, Stefan, Soffer, Pnina, Hadar, Irit, Reichert, Manfred, Pinggera, Jakob, Weber, Barbara
Published in Software and systems modeling (01.05.2016)
Published in Software and systems modeling (01.05.2016)
Get full text
Journal Article
Loading…
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
Lestingi, Livia, Manglaviti, Andrea, Marinaro, Davide, Marinello, Luca, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Published in Software and systems modeling (01.04.2024)
Published in Software and systems modeling (01.04.2024)
Get full text
Journal Article
Loading…
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain
Martins, Beatriz Franco, Serrano Gil, Lenin Javier, Reyes Román, José Fabián, Panach, José Ignacio, Pastor, Oscar, Hadad, Moshe, Rochwerger, Benny
Published in Software and systems modeling (01.08.2022)
Published in Software and systems modeling (01.08.2022)
Get full text
Journal Article
Loading…
The ForeMoSt approach to building valid model-based safety arguments
Viger, Torin, Murphy, Logan, Di Sandro, Alessio, Menghi, Claudio, Shahin, Ramy, Chechik, Marsha
Published in Software and systems modeling (01.10.2023)
Published in Software and systems modeling (01.10.2023)
Get full text
Journal Article
Loading…
A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements
Ramadan, Qusai, Strüber, Daniel, Salnitri, Mattia, Jürjens, Jan, Riediger, Volker, Staab, Steffen
Published in Software and systems modeling (01.09.2020)
Published in Software and systems modeling (01.09.2020)
Get full text
Journal Article
Loading…
Composable partial multiparty session types for open systems
Stolze, Claude, Miculan, Marino, Di Gianantonio, Pietro
Published in Software and systems modeling (01.04.2023)
Published in Software and systems modeling (01.04.2023)
Get full text
Journal Article
Loading…
Toward a well-founded theory for multi-level conceptual modeling
Carvalho, Victorio A., Almeida, João Paulo A.
Published in Software and systems modeling (01.02.2018)
Published in Software and systems modeling (01.02.2018)
Get full text
Journal Article
Loading…
Tradeoffs in modeling performance of highly configurable software systems
Kolesnikov, Sergiy, Siegmund, Norbert, Kästner, Christian, Grebhahn, Alexander, Apel, Sven
Published in Software and systems modeling (01.06.2019)
Published in Software and systems modeling (01.06.2019)
Get full text
Journal Article
Loading…
The Aspects Of Critical Thinking Toward Students' Psychomotor Skill In Learning Of Microprocessor And Microcontroller Programming Techniques
Buditjahjanto, I.G.P. Asto, Wildan Habibi, Mohammad, Sulistiyo, Edy
Published in International Journal of Educational Management and Innovation (01.02.2024)
Published in International Journal of Educational Management and Innovation (01.02.2024)
Get full text
Journal Article
Loading…
Model projection relative to submetamodeling dimensions: A form of submodel circumscribing
Carré, Bernard, Vanwormhoudt, Gilles, Caron, Olivier
Published in Software and systems modeling (01.02.2024)
Published in Software and systems modeling (01.02.2024)
Get full text
Journal Article
Loading…
A search-based approach for detecting circular dependency bad smell in goal-oriented models
Mohammed, Mawal A., Alshayeb, Mohammad, Hassine, Jameleddine
Published in Software and systems modeling (01.10.2022)
Published in Software and systems modeling (01.10.2022)
Get full text
Journal Article