Formal methods in the scope of the Software and Systems Modeling journal.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 271, doi. 10.1007/s10270-025-01287-0
- By:
- Publication type:
- Article
Works matching IS 16191366 AND DT 2025 AND VI 24 AND IP 2
Results: 16
1
2
Theme section on models and evolution.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 287, doi. 10.1007/s10270-025-01284-3
- By:
- Publication type:
- Article
3
Theme section on modeling and sustainability.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 359, doi. 10.1007/s10270-025-01279-0
- By:
- Publication type:
- Article
4
SustainScrum: integrating sustainability assessment in a tailored Scrum process for computing quantitative sustainability indicators.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 385, doi. 10.1007/s10270-025-01266-5
- By:
- Publication type:
- Article
5
Jidoka: automation with a human touch.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 339, doi. 10.1007/s10270-024-01256-z
- By:
- Publication type:
- Article
6
An elucidation of blended modeling from an industrial perspective.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 273, doi. 10.1007/s10270-024-01246-1
- By:
- Publication type:
- Article
7
The sustainability assessment framework toolkit: a decade of modeling experience.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 361, doi. 10.1007/s10270-024-01230-9
- By:
- Publication type:
- Article
8
Automated testing of metamodels and code co-evolution.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 573, doi. 10.1007/s10270-024-01245-2
- By:
- Publication type:
- Article
9
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 471, doi. 10.1007/s10270-024-01244-3
- By:
- Publication type:
- Article
10
Modeling with Gentleman: a web-based projectional editor.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 523, doi. 10.1007/s10270-024-01219-4
- By:
- Publication type:
- Article
11
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 553, doi. 10.1007/s10270-024-01222-9
- By:
- Publication type:
- Article
12
A framework for evaluating tool support for co-evolution of modeling languages, tools and models.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 311, doi. 10.1007/s10270-024-01218-5
- By:
- Publication type:
- Article
13
Model-based verification of data protection mechanisms in collaborative business processes.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 489, doi. 10.1007/s10270-024-01217-6
- By:
- Publication type:
- Article
14
Adaptive caching for operation-based versioning of models.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 289, doi. 10.1007/s10270-024-01214-9
- By:
- Publication type:
- Article
15
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 445, doi. 10.1007/s10270-024-01211-y
- By:
- Publication type:
- Article
16
A model template for reachability-based containment checking of imprecise observations in timed automata.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 2, p. 411, doi. 10.1007/s10270-024-01205-w
- By:
- Publication type:
- Article