| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A comparative study of students and professionals in syntactical model comprehension experiments
|
El-Attar, Mohamed
|
|
2019
|
|
6 |
p. 3283-3329
|
artikel
|
| 2 |
A descriptive study of assumptions in STRIDE security threat modeling
|
Van Landuyt, Dimitri
|
|
|
|
6 |
p. 2311-2328
|
artikel
|
| 3 |
Adopting the concept of a function as an underlying semantic paradigm for modeling languages
|
Combemale, Benoit
|
|
|
|
6 |
p. 1733-1735
|
artikel
|
| 4 |
A manifesto for applicable formal methods
|
Gleirscher, Mario
|
|
|
|
6 |
p. 1737-1749
|
artikel
|
| 5 |
An approach for bug localization in models using two levels: model and metamodel
|
Arcega, Lorena
|
|
2019
|
|
6 |
p. 3551-3576
|
artikel
|
| 6 |
An efficient line-based approach for resolving merge conflicts in XMI-based models
|
de la Vega, Alfonso
|
|
|
|
6 |
p. 2461-2487
|
artikel
|
| 7 |
An interdisciplinary comparison of sequence modeling methods for next-element prediction
|
Tax, Niek
|
|
|
|
6 |
p. 1345-1365
|
artikel
|
| 8 |
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study
|
Fındık-Coşkunçay, Duygu
|
|
|
|
6 |
p. 2429-2460
|
artikel
|
| 9 |
An ontology-based approach to engineering ethicality requirements
|
Guizzardi, Renata
|
|
|
|
6 |
p. 1897-1923
|
artikel
|
| 10 |
Applying MDD in the content management system domain
|
Priefer, Dennis
|
|
|
|
6 |
p. 1919-1943
|
artikel
|
| 11 |
A theme section on the central role of modeling in designing and explaining data-driven systems and software
|
Attiogbé, Christian
|
|
|
|
6 |
p. 1945-1947
|
artikel
|
| 12 |
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications
|
Perez-Palacin, Diego
|
|
2019
|
|
6 |
p. 3577-3614
|
artikel
|
| 13 |
Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering
|
Burdusel, Alexandru
|
|
|
|
6 |
p. 1857-1887
|
artikel
|
| 14 |
Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime
|
Hammoudeh García, Nadia
|
|
|
|
6 |
p. 2047-2070
|
artikel
|
| 15 |
Broadened support for software and system model interchange
|
Lladó, Catalina M.
|
|
2019
|
|
6 |
p. 3527-3550
|
artikel
|
| 16 |
CaRE: a refinement calculus for requirements engineering based on argumentation theory
|
Elrakaiby, Yehia
|
|
|
|
6 |
p. 2113-2132
|
artikel
|
| 17 |
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research
|
Boll, Alexander
|
|
|
|
6 |
p. 2111-2130
|
artikel
|
| 18 |
ChronoSphere: a graph-based EMF model repository for IT landscape models
|
Haeusler, Martin
|
|
2019
|
|
6 |
p. 3487-3526
|
artikel
|
| 19 |
CMMN evaluation: the modelers’ perceptions of the main notation elements
|
Routis, Ioannis
|
|
|
|
6 |
p. 2089-2109
|
artikel
|
| 20 |
Conceptualization, measurement, and application of semantic transparency in visual notations
|
Kuhar, Saša
|
|
|
|
6 |
p. 2155-2197
|
artikel
|
| 21 |
Contents for a Model-Based Software Engineering Body of Knowledge
|
Burgueño, Loli
|
|
2019
|
|
6 |
p. 3193-3205
|
artikel
|
| 22 |
Correction to: Evaluation of a machine learning classifier for metamodels
|
Nguyen, Phuong T.
|
|
|
|
6 |
p. 1823
|
artikel
|
| 23 |
Correlating contexts and NFR conflicts from event logs
|
Roy, Mandira
|
|
|
|
6 |
p. 1987-2010
|
artikel
|
| 24 |
Decision-making under uncertainty: be aware of your priorities
|
Samin, Huma
|
|
|
|
6 |
p. 2213-2242
|
artikel
|
| 25 |
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review
|
Curty, Simon
|
|
|
|
6 |
p. 1857-1895
|
artikel
|
| 26 |
Detecting cross-case associations in an event log: toward a pattern-based detection
|
Dubinsky, Yael
|
|
|
|
6 |
p. 1755-1777
|
artikel
|
| 27 |
Early timing analysis based on scenario requirements and platform models
|
Holtmann, Jörg
|
|
|
|
6 |
p. 2171-2211
|
artikel
|
| 28 |
Editorial to theme section on interplay of model-driven and component-based software engineering
|
Ciccozzi, Federico
|
|
|
|
6 |
p. 1461-1463
|
artikel
|
| 29 |
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time
|
Boronat, Artur
|
|
|
|
6 |
p. 1949-1968
|
artikel
|
| 30 |
Empirical evaluation of CMMN models: a collaborative process case study
|
Routis, Ioannis
|
|
|
|
6 |
p. 1395-1413
|
artikel
|
| 31 |
Evaluating user acceptance of knowledge-intensive business process modeling languages
|
Jalali, Amin
|
|
|
|
6 |
p. 1803-1826
|
artikel
|
| 32 |
Evaluation of a machine learning classifier for metamodels
|
Nguyen, Phuong T.
|
|
|
|
6 |
p. 1797-1821
|
artikel
|
| 33 |
From network traffic data to business activities: a conceptualization and a recognition approach
|
Hadad, Moshe
|
|
|
|
6 |
p. 1827-1854
|
artikel
|
| 34 |
From process mining to augmented process execution
|
Chapela-Campa, David
|
|
|
|
6 |
p. 1977-1986
|
artikel
|
| 35 |
Guest editorial for EMMSAD’2022 special section
|
Reinhartz-Berger, Iris
|
|
|
|
6 |
p. 1855-1856
|
artikel
|
| 36 |
Guest editorial to the special section of models 2019
|
Yue, Tao
|
|
|
|
6 |
p. 1793-1795
|
artikel
|
| 37 |
Guided architecture trade space exploration: fusing model-based engineering and design by shopping
|
Procter, Sam
|
|
|
|
6 |
p. 2023-2045
|
artikel
|
| 38 |
Hazard-driven realization views for Component Fault Trees
|
Velasco Moncada, David Santiago
|
|
|
|
6 |
p. 1465-1481
|
artikel
|
| 39 |
Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model
|
Daun, Marian
|
|
2019
|
|
6 |
p. 3421-3459
|
artikel
|
| 40 |
Instant and global consistency checking during collaborative engineering
|
Tröls, Michael Alexander
|
|
|
|
6 |
p. 2489-2515
|
artikel
|
| 41 |
Integrated revision and variation control for evolving model-driven software product lines
|
Schwägerl, Felix
|
|
2019
|
|
6 |
p. 3373-3420
|
artikel
|
| 42 |
Integrating the analysis of multiple non-functional properties in model-driven engineering
|
Petriu, Dorina C.
|
|
|
|
6 |
p. 1777-1791
|
artikel
|
| 43 |
Interface protocol inference to aid understanding legacy software components
|
Aslam, Kousar
|
|
|
|
6 |
p. 1519-1540
|
artikel
|
| 44 |
IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution
|
Schönig, Stefan
|
|
|
|
6 |
p. 1443-1459
|
artikel
|
| 45 |
MDWA: a model-driven Web augmentation approach—coping with client- and server-side support
|
Urbieta, Matias
|
|
|
|
6 |
p. 1541-1566
|
artikel
|
| 46 |
Measurement and classification of inter-actor dependencies in goal models
|
Hassine, Jameleddine
|
|
|
|
6 |
p. 2267-2310
|
artikel
|
| 47 |
Mixed-semantics composition of statecharts for the component-based design of reactive systems
|
Graics, Bence
|
|
|
|
6 |
p. 1483-1517
|
artikel
|
| 48 |
Model-based assurance evidence management for safety–critical systems
|
de la Vara, Jose Luis
|
|
|
|
6 |
p. 2329-2365
|
artikel
|
| 49 |
Model-based resource analysis and synthesis of service-oriented automotive software architectures
|
Kugele, Stefan
|
|
|
|
6 |
p. 1945-1975
|
artikel
|
| 50 |
Model-driven engineering city spaces via bidirectional model transformations
|
Visconti, Ennio
|
|
|
|
6 |
p. 2003-2022
|
artikel
|
| 51 |
Model-driven management of BPMN-based business process families
|
Delgado, Andrea
|
|
|
|
6 |
p. 2517-2553
|
artikel
|
| 52 |
Model-driven system-level validation and verification on the space software domain
|
Montalvo, Aarón
|
|
|
|
6 |
p. 2367-2394
|
artikel
|
| 53 |
Model execution tracing: a systematic mapping study
|
Hojaji, Fazilat
|
|
2019
|
|
6 |
p. 3461-3485
|
artikel
|
| 54 |
Modeling and enforcing access control policies in conversational user interfaces
|
Planas, Elena
|
|
|
|
6 |
p. 1925-1944
|
artikel
|
| 55 |
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach
|
Liaskos, Sotirios
|
|
|
|
6 |
p. 1-24
|
artikel
|
| 56 |
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
|
Czepa, Christoph
|
|
2019
|
|
6 |
p. 3331-3371
|
artikel
|
| 57 |
Modeling data protection and privacy: application and experience with GDPR
|
Torre, Damiano
|
|
|
|
6 |
p. 2071-2087
|
artikel
|
| 58 |
Modeling should be an independent scientific discipline
|
Cabot, Jordi
|
|
|
|
6 |
p. 2101-2107
|
artikel
|
| 59 |
Models as the subject of research
|
Gray, Jeff
|
|
2019
|
|
6 |
p. 3189-3191
|
artikel
|
| 60 |
Multi-view approaches for software and system modelling: a systematic literature review
|
Cicchetti, Antonio
|
|
2019
|
|
6 |
p. 3207-3233
|
artikel
|
| 61 |
On the persistent rumors of the programmer’s imminent demise
|
Mohammadi, Hessam
|
|
|
|
6 |
p. 1969-1976
|
artikel
|
| 62 |
Privacy-enhanced BPMN: enabling data privacy analysis in business processes models
|
Pullonen, Pille
|
|
2019
|
|
6 |
p. 3235-3264
|
artikel
|
| 63 |
Reference models: how can we leverage them?
|
Gray, Jeff
|
|
|
|
6 |
p. 1775-1776
|
artikel
|
| 64 |
Reflection on the differences between modeling and programming
|
Gray, Jeff
|
|
|
|
6 |
p. 2097-2099
|
artikel
|
| 65 |
Requirement-driven model-based development methodology applied to the design of a real-time MEG data processing unit
|
Chen, Tao
|
|
|
|
6 |
p. 1567-1587
|
artikel
|
| 66 |
Requirements document relations
|
Großer, Katharina
|
|
|
|
6 |
p. 1-37
|
artikel
|
| 67 |
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries
|
Sanchez, Beatriz A.
|
|
|
|
6 |
p. 1889-1918
|
artikel
|
| 68 |
Special section of BPMDS’2021 business process improvement
|
Augusto, Adriano
|
|
|
|
6 |
p. 1751-1753
|
artikel
|
| 69 |
Special section of business process modeling, development and support (BPMDS) 2018: new perspectives for business process modeling, development and support
|
Gulden, Jens
|
|
|
|
6 |
p. 1303-1305
|
artikel
|
| 70 |
Specification and analysis of legal contracts with Symboleo
|
Parvizimosaed, Alireza
|
|
|
|
6 |
p. 2395-2427
|
artikel
|
| 71 |
Specification-driven predictive business process monitoring
|
Santoso, Ario
|
|
|
|
6 |
p. 1307-1343
|
artikel
|
| 72 |
Supporting data-aware processes with MERODE
|
Snoeck, Monique
|
|
|
|
6 |
p. 1779-1802
|
artikel
|
| 73 |
Testing cockpit display systems of aircraft using a model-based approach
|
Sartaj, Hassan
|
|
|
|
6 |
p. 1977-2002
|
artikel
|
| 74 |
Theme section on model-driven requirements engineering
|
Moreira, Ana
|
|
|
|
6 |
p. 2109-2112
|
artikel
|
| 75 |
The RALph miner for automated discovery and verification of resource-aware process models
|
Cabanillas, Cristina
|
|
|
|
6 |
p. 1415-1441
|
artikel
|
| 76 |
Toward a methodology for case modeling
|
Hewelt, Marcin
|
|
|
|
6 |
p. 1367-1393
|
artikel
|
| 77 |
Trade-off analysis for SysML models using decision points and CSPs
|
Leserf, Patrick
|
|
2019
|
|
6 |
p. 3265-3281
|
artikel
|
| 78 |
Unified verification and monitoring of executable UML specifications
|
Besnard, Valentin
|
|
|
|
6 |
p. 1825-1855
|
artikel
|
| 79 |
Unleashing textual descriptions of business processes
|
Sànchez-Ferreres, Josep
|
|
|
|
6 |
p. 2131-2153
|
artikel
|
Tijdschrift beschrijving