Works matching DE "UNIFIED modeling language"
Results: 1206
Perancangan Sistem Informasi Pelayanan Paspor Dan Visa Berbasis Web Di Kbri Helsinki, Finlandia.
- Published in:
- Jurnal Syntax Admiration, 2025, v. 6, n. 2, p. 1079
- By:
- Publication type:
- Article
MBFair: a model-based verification methodology for detecting violations of individual fairness: MBFair: a model-based verification methodology for detecting violations of individual fairness: Q. Ramadan et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 111, doi. 10.1007/s10270-024-01184-y
- By:
- Publication type:
- Article
Introduction to theme section on requirements formalisation: Introduction to theme section on requirements formalisation: K. Lano et al.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 6, p. 1451, doi. 10.1007/s10270-024-01241-6
- By:
- Publication type:
- Article
Guest editorial for the special section on MODELS 2021.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 5, p. 1393, doi. 10.1007/s10270-023-01108-2
- By:
- Publication type:
- Article
Design and evaluation of a collaborative UML modeling environment in virtual reality.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 5, p. 1397, doi. 10.1007/s10270-022-01065-2
- By:
- Publication type:
- Article
MBIPV: a model-based approach for identifying privacy violations from software requirements.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 4, p. 1251, doi. 10.1007/s10270-022-01072-3
- By:
- Publication type:
- Article
ChatGPT in software modeling.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 3, p. 777, doi. 10.1007/s10270-023-01106-4
- By:
- Publication type:
- Article
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 3, p. 781, doi. 10.1007/s10270-023-01105-5
- By:
- Publication type:
- Article
In memory of Heinrich Hussmann, long-time friend and SoSyM editor.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 2, p. 453, doi. 10.1007/s10270-023-01099-0
- By:
- Publication type:
- Article
How to define modeling languages?
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 2, p. 449, doi. 10.1007/s10270-023-01098-1
- By:
- Publication type:
- Article
Guest editorial for the special section on MODELS 2020.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 5, p. 1711, doi. 10.1007/s10270-022-01044-7
- By:
- Publication type:
- Article
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?
- Published in:
- 2022
- By:
- Publication type:
- Correction Notice
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 4, p. 1321, doi. 10.1007/s10270-022-00980-8
- By:
- Publication type:
- Article
On the relationship between models and ontologies.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 4, p. 1271, doi. 10.1007/s10270-022-01021-0
- By:
- Publication type:
- Article
Explicit versus implicit models: What are good languages for modeling?
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 3, p. 839, doi. 10.1007/s10270-022-01001-4
- By:
- Publication type:
- Article
Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 1, p. 207, doi. 10.1007/s10270-021-00899-6
- By:
- Publication type:
- Article
Modeling research in recent years: special section on ECMFA 2017 and ECMFA 2018.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
Incorporating measurement uncertainty into OCL/UML primitive datatypes.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 5, p. 1163, doi. 10.1007/s10270-019-00741-0
- By:
- Publication type:
- Article
Model-based safety assessment with SysML and component fault trees: application and lessons learned.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 4, p. 889, doi. 10.1007/s10270-020-00782-w
- By:
- Publication type:
- Article
Modeling dynamic structures.
- Published in:
- 2020
- By:
- Publication type:
- Editorial
On model-based analysis of organizational structures: an assessment of current modeling approaches and application of multi-level modeling in support of design and analysis of organizational structures.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 2, p. 313, doi. 10.1007/s10270-019-00767-4
- By:
- Publication type:
- Article
Design and automation of a COSMIC measurement procedure based on UML models.
- Published in:
- Software & Systems Modeling, 2020, v. 19, n. 1, p. 171, doi. 10.1007/s10270-019-00731-2
- By:
- Publication type:
- Article
Models as the subject of research.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 6, p. 3577, doi. 10.1007/s10270-019-00730-3
- By:
- Publication type:
- Article
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 5, p. 2973, doi. 10.1007/s10270-019-00716-1
- By:
- Publication type:
- Article
Removing redundant multiplicity constraints in UML class models.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 4, p. 2717, doi. 10.1007/s10270-018-0696-z
- By:
- Publication type:
- Article
Certifying delta-oriented programs.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 5, p. 2875, doi. 10.1007/s10270-018-00704-x
- By:
- Publication type:
- Article
Conformance checking in UML artifact-centric business process models.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 4, p. 2531, doi. 10.1007/s10270-018-0681-6
- By:
- Publication type:
- Article
An experiment in model-driven conceptual database design.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 3, p. 1859, doi. 10.1007/s10270-018-0672-7
- By:
- Publication type:
- Article
Guest editorial for EMMSAD'2017 special section.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 3, p. 2213, doi. 10.1007/s10270-017-0652-3
- By:
- Publication type:
- Article
Model-based testing of software for automation systems using heuristics and coverage criterion.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 797, doi. 10.1007/s10270-018-0690-5
- By:
- Publication type:
- Article
Supporting inheritance hierarchy changes in model-based regression test selection.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 937, doi. 10.1007/s10270-017-0636-3
- By:
- Publication type:
- Article
Temporal property patterns for model-based testing from UML/OCL.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 865, doi. 10.1007/s10270-017-0635-4
- By:
- Publication type:
- Article
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 11, doi. 10.1007/s10270-017-0588-7
- By:
- Publication type:
- Article
A metrics suite for UML model stability.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 557, doi. 10.1007/s10270-016-0573-6
- By:
- Publication type:
- Article
A model-driven approach for vulnerability evaluation of modern physical protection systems.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 523, doi. 10.1007/s10270-016-0572-7
- By:
- Publication type:
- Article
On the automated translational execution of the action language for foundational UML.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1311, doi. 10.1007/s10270-016-0556-7
- By:
- Publication type:
- Article
UML customization versus domain-specific languages.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 3, p. 713, doi. 10.1007/s10270-018-0685-2
- By:
- Publication type:
- Article
Reusing metamodels and notation with Diagram Definition.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1079, doi. 10.1007/s10270-016-0537-x
- By:
- Publication type:
- Article
Model development guidelines for UML-RT: conventions, patterns and antipatterns.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 3, p. 717, doi. 10.1007/s10270-016-0549-6
- By:
- Publication type:
- Article
On the impact of size to the understanding of UML diagrams.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 115, doi. 10.1007/s10270-016-0529-x
- By:
- Publication type:
- Article
Leveraging annotation-based modeling with Jump.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 65, doi. 10.1007/s10270-016-0528-y
- By:
- Publication type:
- Article
Promoting traits into model-driven development.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 4, p. 997, doi. 10.1007/s10270-015-0505-x
- By:
- Publication type:
- Article
An integrated semantics for reasoning about SysML design models using refinement.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 3, p. 875, doi. 10.1007/s10270-015-0492-y
- By:
- Publication type:
- Article
A participative end-user method for multi-perspective business process elicitation and improvement.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 3, p. 691, doi. 10.1007/s10270-015-0489-6
- By:
- Publication type:
- Article
Logic formulas in models.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
Aspectual templates in UML.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 2, p. 469, doi. 10.1007/s10270-015-0463-3
- By:
- Publication type:
- Article
Proactive modeling: a new model intelligence technique.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 2, p. 499, doi. 10.1007/s10270-015-0465-1
- By:
- Publication type:
- Article
Language-specific model checking of UML-RT models.
- Published in:
- Software & Systems Modeling, 2017, v. 16, n. 2, p. 393, doi. 10.1007/s10270-015-0484-y
- By:
- Publication type:
- Article