Works matching DE "MODELING languages (Computer science)"
Results: 168
A system-theoretic assurance framework for safety-driven systems engineering: A System-Theoretic Assurance Framework...: A. Ahlbrecht et al.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 253, doi. 10.1007/s10270-024-01209-6
- By:
- Publication type:
- Article
An Approach Integrating Model-Based Systems Engineering, IoT, and Digital Twin for the Design of Electric Unmanned Autonomous Vehicles.
- Published in:
- Systems, 2025, v. 13, n. 2, p. 73, doi. 10.3390/systems13020073
- By:
- Publication type:
- Article
An information centric framework for creating virtual environments to support micro surgery.
- Published in:
- International Journal of Virtual Reality, 2015, v. 15, n. 2, p. 3
- By:
- Publication type:
- Article
Model hybridization: towards a unifying theory for inductive and deductive reasoning.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 6, p. 1307, doi. 10.1007/s10270-024-01249-y
- By:
- Publication type:
- Article
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 5, p. 1053, doi. 10.1007/s10270-024-01210-z
- By:
- Publication type:
- Article
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 5, p. 1077, doi. 10.1007/s10270-024-01207-8
- By:
- Publication type:
- Article
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 4, p. 799, doi. 10.1007/s10270-024-01196-8
- By:
- Publication type:
- Article
Ontology-based security modeling in ArchiMate.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 4, p. 925, doi. 10.1007/s10270-024-01149-1
- By:
- Publication type:
- Article
Empirically evaluating modeling language ontologies: the Peira framework.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 4, p. 1025, doi. 10.1007/s10270-023-01147-9
- By:
- Publication type:
- Article
DEPS: a model- and property-based language for system synthesis problems.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 4, p. 973, doi. 10.1007/s10270-023-01129-x
- By:
- Publication type:
- Article
Agile model-based system development.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
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
Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS’15).
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 3, p. 715, doi. 10.1007/s10270-017-0577-x
- By:
- Publication type:
- Article
A framework for relating syntactic and semantic model differences.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 3, p. 753, doi. 10.1007/s10270-016-0552-y
- 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
Model-driven development of mobile applications for Android and iOS supporting role-based app variability.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 35, doi. 10.1007/s10270-016-0559-4
- By:
- Publication type:
- Article
Guest editorial for the special section on MODELS 2014.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 1, p. 9, doi. 10.1007/s10270-016-0561-x
- By:
- Publication type:
- Article
Spider Graphs: a graph transformation system for spider diagrams.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 4, p. 1421, doi. 10.1007/s10270-013-0381-1
- By:
- Publication type:
- Article
Investigating expressiveness and understandability of hierarchy in declarative business process models.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 3, p. 1081, doi. 10.1007/s10270-013-0356-2
- By:
- Publication type:
- Article
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 765, doi. 10.1007/s10270-013-0329-5
- By:
- Publication type:
- Article
A generic model decomposition technique and its application to the Eclipse modeling framework.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 921, doi. 10.1007/s10270-013-0348-2
- By:
- Publication type:
- Article
ESUML-EAF: a framework to develop an energy-efficient design model for embedded software.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 795, doi. 10.1007/s10270-013-0337-5
- By:
- Publication type:
- Article
Reuse in model-to-model transformation languages: are we there yet?
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 537, doi. 10.1007/s10270-013-0343-7
- By:
- Publication type:
- Article
Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 813, doi. 10.1007/s10270-013-0333-9
- By:
- Publication type:
- Article
AuRUS: explaining the validation of UML/OCL conceptual schemas.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 953, doi. 10.1007/s10270-013-0350-8
- By:
- Publication type:
- Article
From subsets of model elements to submodels.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 861, doi. 10.1007/s10270-013-0340-x
- By:
- Publication type:
- Article
Formal synthesis of application and platform behaviors of embedded software systems.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 839, doi. 10.1007/s10270-013-0342-8
- By:
- Publication type:
- Article
Mashup of metalanguages and its implementation in the Kermeta language workbench.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 905, doi. 10.1007/s10270-013-0354-4
- By:
- Publication type:
- Article
VPML: an approach to detect design patterns of MOF-based modeling languages.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 2, p. 735, doi. 10.1007/s10270-013-0325-9
- By:
- Publication type:
- Article
'No shit' or 'Oh, shit!': responses to observations on the use of UML in professional practice.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 4, p. 1225, doi. 10.1007/s10270-014-0430-4
- By:
- Publication type:
- Article
Multi-perspective enterprise modeling: foundational concepts, prospects and future research challenges.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 3, p. 941, doi. 10.1007/s10270-012-0273-9
- By:
- Publication type:
- Article
On the modeling and generation of service-oriented tool chains.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 2, p. 461, doi. 10.1007/s10270-012-0275-7
- By:
- Publication type:
- Article
A transformation-based approach to context-aware modelling.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 1, p. 191, doi. 10.1007/s10270-012-0239-y
- By:
- Publication type:
- Article
A fundamental approach to model versioning based on graph modifications: from theory to implementation.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 1, p. 239, doi. 10.1007/s10270-012-0248-x
- By:
- Publication type:
- Article
Graph and model transformation tools for model migration.
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 1, p. 323, doi. 10.1007/s10270-012-0245-0
- By:
- Publication type:
- Article
Managing the evolution of data-intensive Web applications by model-driven techniques.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 1, p. 53, doi. 10.1007/s10270-011-0193-0
- By:
- Publication type:
- Article
Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation.
- Published in:
- Artificial Intelligence & Law, 2018, v. 26, n. 3, p. 251, doi. 10.1007/s10506-017-9215-8
- By:
- Publication type:
- Article
A Comparison of Constraint Programming and Mixed‐Integer Programming for Automated Test‐Form Generation.
- Published in:
- Journal of Educational Measurement, 2018, v. 55, n. 4, p. 435, doi. 10.1111/jedm.12187
- By:
- Publication type:
- Article
Rapid translation of finite-element theory into computer implementation based on a descriptive object-oriented programming approach.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2018, v. 26, n. 6, p. 3367, doi. 10.3906/elk-1712-376
- By:
- Publication type:
- Article
Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4.
- Published in:
- Mathematics (2227-7390), 2025, v. 13, n. 1, p. 96, doi. 10.3390/math13010096
- By:
- Publication type:
- Article
СИСТЕМА ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ ДЛЯ ВИЯВЛЕННЯ АНОМАЛІЙ ВИЗНАЧЕННЯ КОЛЬОРІВ.
- Published in:
- Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov, 2024, v. 16, n. 3, p. 58
- By:
- Publication type:
- Article
Comparing QUBO models for quantum annealing: integer encodings for permutation problems.
- Published in:
- International Transactions in Operational Research, 2025, v. 32, n. 1, p. 18, doi. 10.1111/itor.13471
- By:
- Publication type:
- Article
Application of data element mapping and analysis for system definition to enable model‐based systems engineering.
- Published in:
- Systems Engineering, 2025, v. 28, n. 1, p. 15, doi. 10.1002/sys.21776
- By:
- Publication type:
- Article
Software Quality Assurance Based on Java Modeling Language and Database.
- Published in:
- International Review on Computers & Software, 2011, v. 6, n. 6, p. 1117
- By:
- Publication type:
- Article
Extensión del Diagrama de Secuencias UML (Lenguaje de Modelado Unificado) para el Modelado Orientado a Aspectos.
- Published in:
- Información Tecnológica, 2012, v. 23, n. 6, p. 51, doi. 10.4067/S0718-07642012000600007
- By:
- Publication type:
- Article
Analysis of information quality requirements in business processes, revisited.
- Published in:
- Requirements Engineering, 2018, v. 23, n. 2, p. 227, doi. 10.1007/s00766-016-0264-4
- By:
- Publication type:
- Article
Early identification of crosscutting concerns with the Language Extended Lexicon.
- Published in:
- Requirements Engineering, 2015, v. 20, n. 2, p. 139, doi. 10.1007/s00766-013-0193-4
- By:
- Publication type:
- Article
CORAMOD: a checklist-oriented model-based requirements analysis approach.
- Published in:
- Requirements Engineering, 2014, v. 19, n. 1, p. 1, doi. 10.1007/s00766-012-0154-3
- By:
- Publication type:
- Article
基于模型的推进系统故障识别及建模方法.
- Published in:
- Systems Engineering & Electronics, 2024, v. 46, n. 12, p. 4062, doi. 10.12305/j.issn.1001-506X.2024.12.15
- By:
- Publication type:
- Article
基于SysML 的空间有效载荷测试路径自动生成方法.
- Published in:
- Systems Engineering & Electronics, 2024, v. 46, n. 10, p. 3416, doi. 10.12305/j.issn.1001-506X.2024.10.19
- By:
- Publication type:
- Article