Works matching DE "MODELING languages (Computer science)"
Results: 169
Access Control Verification in Smart Contracts Using Colored Petri Nets.
- Published in:
- Computers (2073-431X), 2024, v. 13, n. 11, p. 274, doi. 10.3390/computers13110274
- By:
- Publication type:
- Article
access@tour by Action: A Platform for Improving Accessible Tourism Conditions.
- Published in:
- Computers (2073-431X), 2024, v. 13, n. 10, p. 263, doi. 10.3390/computers13100263
- 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
Advances in Computational Logic (CILC23): Preface.
- Published in:
- Journal of Logic & Computation, 2024, v. 34, n. 8, p. 1397, doi. 10.1093/logcom/exae035
- By:
- Publication type:
- Article
Unifying F-logic molecules: a rectification to the original unification algorithm.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 3, p. 1043, doi. 10.1093/logcom/exu051
- By:
- Publication type:
- Article
Conceptualizing an Inductive Learning Situation in Online Learning Enabled by Software Engineering.
- Published in:
- International Journal of Advanced Computer Science & Applications, 2023, v. 14, n. 12, p. 105, doi. 10.14569/ijacsa.2023.0141210
- By:
- Publication type:
- Article
Managing the Impact of UML Design Changes on Their Consistency and Quality.
- Published in:
- Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2016, v. 41, n. 8, p. 2863, doi. 10.1007/s13369-016-2040-7
- By:
- Publication type:
- Article
A Technique for Metamodeling Diagram Types with Tool Support.
- Published in:
- Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ), 2015, v. 40, n. 5, p. 1359, doi. 10.1007/s13369-015-1607-z
- By:
- Publication type:
- Article
Identificación de variables principales en el planeamiento de redes de transmisión usando técnicas heurísticas basadas en PLE y PNLE.
- Published in:
- Scientia et Technica, 2013, v. 18, n. 1, p. 42
- By:
- Publication type:
- Article
REVIEW OF AUTOMATED TEST CASE GENERATION, OPTIMIZATION, AND PRIORITIZATION USING UML DIAGRAMS: TRENDS, LIMITATIONS, AND FUTURE DIRECTIONS.
- Published in:
- Scalable Computing: Practice & Experience, 2024, v. 25, n. 5, p. 3651, doi. 10.12694/scpe.v25i5.3030
- By:
- Publication type:
- Article
Expressive rule-based modeling and fast simulation for dynamic compartments.
- Published in:
- PLoS ONE, 2024, v. 19, n. 10, p. 1, doi. 10.1371/journal.pone.0312813
- By:
- Publication type:
- Article
Puzzle—Three Set Pieces.
- Published in:
- INFORMS Transactions on Education, 2014, v. 14, n. 2, p. 105, doi. 10.1287/ited.2013.0122
- By:
- Publication type:
- Article
Special Issue Dedicated to the Memory of Paul A. Jensen.
- Published in:
- 2013
- Publication type:
- Editorial
A Survey of Linear and Mixed-Integer Optimization Tutorials.
- Published in:
- INFORMS Transactions on Education, 2013, v. 14, n. 1, p. 26, doi. 10.1287/ited.2013.0115
- By:
- Publication type:
- Article
Case Article—Teaching Soft Systems Methodology and a Blueprint for a Module.
- Published in:
- INFORMS Transactions on Education, 2011, v. 12, n. 1, p. 31, doi. 10.1287/ited.1110.0068ca
- By:
- Publication type:
- Article
Shasha's Shifty Witnesses: An IP Lie Detector.
- Published in:
- INFORMS Transactions on Education, 2007, v. 7, n. 3, p. 238, doi. 10.1287/ited.7.3.238
- By:
- Publication type:
- Article
Introduction to the ITE Special Issue: "Effective Use of Software in the MS/OR Classroom".
- Published in:
- INFORMS Transactions on Education, 2006, v. 7, n. 1, p. 1, doi. 10.1287/ited.7.1.1
- By:
- Publication type:
- Article
Using Sports Scheduling to Teach Integer Programming.
- Published in:
- INFORMS Transactions on Education, 2004, v. 5, n. 1, p. 10, doi. 10.1287/ited.5.1.10
- By:
- Publication type:
- Article
A Systems Biology Approach Towards a Comprehensive Understanding of Ferroptosis.
- Published in:
- International Journal of Molecular Sciences, 2024, v. 25, n. 21, p. 11782, doi. 10.3390/ijms252111782
- 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
Proposed framework for medication delivery system in the Jordanian public health sector.
- Published in:
- BMC Medical Informatics & Decision Making, 2024, v. 24, n. 1, p. 1, doi. 10.1186/s12911-024-02673-2
- 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
Empirically Modeling Enterprise Architecture Using ArchiMate.
- Published in:
- Computer Systems Science & Engineering, 2022, v. 40, n. 1, p. 357, doi. 10.32604/csse.2022.018759
- By:
- Publication type:
- Article
Modeling Internet of Things Software for Public Transportation.
- Published in:
- Journal of Intelligent Transportation Systems & Applications, 2023, v. 6, n. 2, p. 425, doi. 10.51513/jitsa.1328020
- By:
- Publication type:
- Article
I-Typed DMML: A Novel DSL for Direct Manipulation Interaction with Virtual Objects.
- Published in:
- Interacting with Computers, 2018, v. 30, n. 4, p. 336, doi. 10.1093/iwc/iwy014
- 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
The Formal Semantics of a Domain-Specific Modeling Language for Semantic Web Enabled Multi-Agent Systems.
- Published in:
- International Journal of Cooperative Information Systems, 2014, v. 23, n. 3, p. -1, doi. 10.1142/S0218843014500051
- By:
- Publication type:
- Article
libNeuroML and PyLEMS: using Python to combine procedural and declarative modeling approaches in computational neuroscience.
- Published in:
- Frontiers in Neuroinformatics, 2014, p. 1, doi. 10.3389/fninf.2014.00038
- By:
- Publication type:
- Article
Reproducible and flexible simulation experiments with ML-Rules and SESSL.
- Published in:
- Bioinformatics, 2018, v. 34, n. 8, p. 1424, doi. 10.1093/bioinformatics/btx741
- By:
- Publication type:
- Article
3Dmol.js: molecular visualization with WebGL.
- Published in:
- Bioinformatics, 2015, v. 31, n. 8, p. 1322, doi. 10.1093/bioinformatics/btu829
- By:
- Publication type:
- Article
Analyzing and Designing the Utility of Virtual Reality for Nursing Fundamentals Lab.
- Published in:
- International Journal of Online & Biomedical Engineering, 2024, v. 20, n. 16, p. 27, doi. 10.3991/ijoe.v20i16.51721
- 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
Semi-Automatic RTL Methods for System-on-Chip IP Delivery in the Cyber-Physical System Era.
- Published in:
- Periodica Polytechnica: Electrical Engineering & Computer Science, 2016, v. 60, n. 2, p. 107, doi. 10.3311/PPee.8527
- By:
- Publication type:
- Article
Preface.
- Published in:
- SEFBIS Journal, 2023, n. 15, p. 1
- By:
- Publication type:
- Article
Creating and Validating a Ground Truth Dataset of Unified Modeling Language Diagrams Using Deep Learning Techniques.
- Published in:
- Applied Sciences (2076-3417), 2024, v. 14, n. 23, p. 10873, doi. 10.3390/app142310873
- By:
- Publication type:
- Article
Integration of EMU Overall Design Model Based on Ontology–Knowledge Collaboration.
- Published in:
- Applied Sciences (2076-3417), 2024, v. 14, n. 17, p. 7828, doi. 10.3390/app14177828
- By:
- Publication type:
- Article
A Proposal of Behavior-Based Consumption Profiles for Green Software Design.
- Published in:
- Applied Sciences (2076-3417), 2024, v. 14, n. 17, p. 7456, doi. 10.3390/app14177456
- By:
- Publication type:
- Article
A Causal Model for Analyzing the Impact of Graphical Modeling Languages on Usability.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2014, v. 24, n. 9, p. 1337, doi. 10.1142/S0218194014500417
- By:
- Publication type:
- Article
A Calculus for (Meta)Models and Transformations.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2014, v. 24, n. 5, p. 715, doi. 10.1142/S0218194014500272
- By:
- Publication type:
- Article
Modeling language family expansions.
- Published in:
- Diachronica, 2017, v. 34, n. 1, p. 79, doi. 10.1075/dia.34.1.03wic
- By:
- Publication type:
- Article
Towards the development of the framework for inter sensing enterprise architecture.
- Published in:
- Journal of Intelligent Manufacturing, 2016, v. 27, n. 1, p. 55, doi. 10.1007/s10845-014-0901-z
- By:
- Publication type:
- Article
Antimony: a modular model definition language.
- Published in:
- Bioinformatics, 2009, v. 25, n. 18, p. 2452, doi. 10.1093/bioinformatics/btp401
- By:
- Publication type:
- Article
La enseñanza del diseño de software en ambientes mediados.
- Published in:
- Actas de Diseño, 2021, v. 16, n. 36, p. 282
- By:
- Publication type:
- Article
Developing a Graphical Domain-Specific Modeling Language for Efficient Lightweight Block Cipher Schemas Configuration: LWBCLang.
- Published in:
- Iraqi Journal of Science, 2024, v. 65, n. 10, p. 5819, doi. 10.24996/ijs.2024.65.10.39
- 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
X-RMTV: An Integrated Approach for Requirement Modeling, Traceability Management, and Verification in MBSE.
- Published in:
- Systems, 2024, v. 12, n. 10, p. 443, doi. 10.3390/systems12100443
- By:
- Publication type:
- Article
Text-to-Model Transformation: Natural Language-Based Model Generation Framework.
- Published in:
- Systems, 2024, v. 12, n. 9, p. 369, doi. 10.3390/systems12090369
- By:
- Publication type:
- Article
Componentization in the Systems Modeling Language.
- Published in:
- Systems Engineering, 2014, v. 17, n. 4, p. 392, doi. 10.1002/sys.21276
- By:
- Publication type:
- Article
Method for Deriving Functional Architectures from Use Cases.
- Published in:
- Systems Engineering, 2014, v. 17, n. 2, p. 225, doi. 10.1002/sys.21265
- By:
- Publication type:
- Article