Works about SYSTEMS software
Results: 1874
Report on the State of the SoSyM Journal (2024 summary).
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 1, doi. 10.1007/s10270-025-01268-3
- By:
- Publication type:
- Article
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness.
- Published in:
- 2025
- By:
- Publication type:
- Correction Notice
Correction: iDOCEM.
- Published in:
- 2025
- By:
- Publication type:
- Correction Notice
OIL: an industrial case study in language engineering with Spoofax: OIL: an industrial case study in language engineering with Spoofax: O. Bunte et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 139, doi. 10.1007/s10270-024-01185-x
- 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
НЕВИЗНАЧЕНІСТЬ ОЦІНЮВАННЯ КІЛЬКІСНИХ ХАРАКТЕРИСТИК ЯКОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ.
- Published in:
- Ukrainian Scientific Journal of Information Security, 2024, v. 30, n. 2, p. 202, doi. 10.18372/2225-5036.30.19208
- By:
- Publication type:
- Article
Analyzing the trend of government support for cloud computing usage in e-government architecture.
- Published in:
- Journal of Cloud Computing (2192-113X), 2025, v. 14, n. 1, p. 1, doi. 10.1186/s13677-025-00735-y
- By:
- Publication type:
- Article
Shrinkage Technology Meets Tight Tolerances.
- Published in:
- 2009
- Publication type:
- Product Review
Running PC Apps and Games on Mobile Devices.
- Published in:
- Innovation, 2004, v. 4, n. 1, p. 8
- Publication type:
- Article
Towards standarized benchmarks of LLMs in software modeling tasks: a conceptual framework: Towards standarization of LLM benchmarks: J. Cámara et al.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 6, p. 1309, doi. 10.1007/s10270-024-01206-9
- By:
- Publication type:
- Article
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools: Generating domain models from natural language text using NLP...: F. Bozyigit et al.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 6, p. 1493, doi. 10.1007/s10270-024-01176-y
- By:
- Publication type:
- Article
Gamification of business process modeling education: an experimental analysis.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 6, p. 1569, doi. 10.1007/s10270-024-01171-3
- By:
- Publication type:
- Article
Guest editorial for EMMSAD'2023 special section.
- Published in:
- 2024
- By:
- Publication type:
- Editorial
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
What makes a good modeling research contribution?
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 3, p. 527, doi. 10.1007/s10270-024-01177-x
- By:
- Publication type:
- Article
Assessing the testing skills transfer of model-based testing on testing skill acquisition.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 4, p. 953, doi. 10.1007/s10270-023-01141-1
- By:
- Publication type:
- Article
Correction: A framework for embedded software portability and verification: from formal models to low-level code.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
A lightweight approach to nontermination inference using Constrained Horn Clauses.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 2, p. 319, doi. 10.1007/s10270-024-01161-5
- By:
- Publication type:
- Article
Modelling guidance in software engineering: a systematic literature review.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 1, p. 249, doi. 10.1007/s10270-023-01117-1
- By:
- Publication type:
- Article
Quo Vadis modeling?: Findings of a community survey, an ad-hoc bibliometric analysis, and expert interviews on data, process, and software modeling.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 1, p. 7, doi. 10.1007/s10270-023-01128-y
- By:
- Publication type:
- Article
Modeling and enforcing access control policies in conversational user interfaces.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 6, p. 1925, doi. 10.1007/s10270-023-01131-3
- By:
- Publication type:
- Article
Guest editorial for EMMSAD'2022 special section.
- Published in:
- 2023
- By:
- Publication type:
- Editorial
A theme section on the central role of modeling in designing and explaining data-driven systems and software.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 6, p. 1945, doi. 10.1007/s10270-023-01133-1
- By:
- Publication type:
- Article
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 6, p. 1949, doi. 10.1007/s10270-023-01111-7
- By:
- Publication type:
- Article
Large language models as an "operating" system for software and systems modeling.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 5, p. 1391, doi. 10.1007/s10270-023-01126-0
- By:
- Publication type:
- Article
Execution trace analysis for a precise understanding of latency violations.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 5, p. 1519, doi. 10.1007/s10270-022-01076-z
- By:
- Publication type:
- Article
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 4, p. 1085, doi. 10.1007/s10270-023-01107-3
- By:
- Publication type:
- Article
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 4, p. 1281, doi. 10.1007/s10270-022-01078-x
- 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
Correction: Automaton-based comparison of Declare process models.
- Published in:
- 2023
- By:
- Publication type:
- Correction Notice
Report on the State of the SoSyM Journal end of 2022.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 1, p. 1, doi. 10.1007/s10270-023-01085-6
- By:
- Publication type:
- Article
Guest editorial for EMMSAD'2021 special section.
- Published in:
- 2023
- By:
- Publication type:
- Editorial
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development.
- Published in:
- Software & Systems Modeling, 2023, v. 22, n. 1, p. 131, doi. 10.1007/s10270-022-01026-9
- By:
- Publication type:
- Article
Modeling should be an independent scientific discipline.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 6, p. 2101, doi. 10.1007/s10270-022-01035-8
- By:
- Publication type:
- Article
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 6, p. 1, doi. 10.1007/s10270-021-00968-w
- 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
Incremental execution of temporal graph queries over runtime models with history and its applications.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 5, p. 1789, doi. 10.1007/s10270-021-00950-6
- By:
- Publication type:
- Article
Editorial to theme section on open environmental software systems modeling.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
Are models better read on paper or on screen? A comparative study.
- Published in:
- Software & Systems Modeling, 2022, v. 21, n. 4, p. 1531, doi. 10.1007/s10270-021-00966-y
- By:
- Publication type:
- Article
Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning.
- Published in:
- 2022
- By:
- Publication type:
- Case Study
SoSyM reflections: the 2021 "state of the journal" report.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
Unified verification and monitoring of executable UML specifications: A transformation-free approach.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 6, p. 1825, doi. 10.1007/s10270-021-00923-9
- 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
Model-based intelligent user interface adaptation: challenges and future directions.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 5, p. 1335, doi. 10.1007/s10270-021-00909-7
- By:
- Publication type:
- Article
Guest editorial for EMMSAD'2020 special section.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
Towards a model-driven approach for multiexperience AI-based user interfaces.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 4, p. 997, doi. 10.1007/s10270-021-00904-y
- By:
- Publication type:
- Article
MUPPIT: a method for using proper patterns in model transformations.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 5, p. 1491, doi. 10.1007/s10270-020-00853-y
- By:
- Publication type:
- Article
CHECKSUM: tracking changes and measuring contributions in cooperative systems modeling.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 4, p. 1079, doi. 10.1007/s10270-020-00840-3
- By:
- Publication type:
- Article
Specifying dynamic software system architectures.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 3, p. 595, doi. 10.1007/s10270-021-00875-0
- By:
- Publication type:
- Article