Works matching DE "MODELING languages (Computer science)"

Results: 190

DEVELOPMENT OF A PROCEDURE FOR CALCULATING PROBLEMS IN THE MECHANICS OF ELASTOMERS BASED ON THE OPEN MODELING LANGUAGE.

Published in:

Eastern-European Journal of Enterprise Technologies, 2025, v. 2, n. 7(134), p. 23, doi. 10.15587/1729-4061.2025.326219

By:

Lavrik, Volodymyr;
Bohdanov, Ihor;
Alieksieieva, Hanna;
Antonenko, Oleksandr;
Ovsyannikov, Oleksandr

Publication type:

Article

Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions.

Published in:

Journal of Artificial Intelligence Research, 2025, v. 82, p. 1349, doi. 10.1613/jair.1.16869

By:

Speck, David;
Seipp, Jendrik;
Torralba, Alvaro

Publication type:

Article

Specifying autonomy in the Internet of Things: the autonomy model and notation.

Published in:

Information Systems & e-Business Management, 2019, v. 17, n. 1, p. 159, doi. 10.1007/s10257-018-0379-x

By:

Janiesch, Christian;
Fischer, Marcus;
Winkelmann, Axel;
Nentwich, Valentin

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:

Gabriela Terreni, Luciana

Publication type:

Article

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:

Al-Azzoni, Issam;
Iqbal, Saqib

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:

Teixeira, Pedro;
Eusébio, Celeste;
Teixeira, Leonor

Publication type:

Article

A LASER-SLAM ALGORITHM FOR INDOOR MOBILE MAPPING.

Published in:

International Archives of the Photogrammetry, Remote Sensing & Spatial Information Sciences, 2016, v. 41, n. B4, p. 351, doi. 10.5194/isprsarchives-XLI-B4-351-2016

By:

Wenjun Zhang;
Qiao Zhang;
Kai Sun;
Sheng Guo

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:

Codognet, Philippe

Publication type:

Article

Mapping-Based Approach to Integration of Technical Spaces.

Published in:

Computer Science & Information Systems, 2025, v. 22, n. 1, p. 279, doi. 10.2298/CSIS240701009D

By:

Dimitrieski, Vladimir;
Kordic, Slavica;
Ristic, Sonja;
Kern, Heiko;
Lukovic, Ivan

Publication type:

Article

Supporting the platform extensibility for the modeldriven development of agent systems by the interoperability between domain-specific modeling languages of multi-agent systems.

Published in:

Computer Science & Information Systems, 2017, v. 14, n. 3, p. 875, doi. 10.2298/CSIS170113034K

By:

Kardas, Geylani;
Bircan, Emine;
Challenger, Moharram

Publication type:

Article

ON UML BASED NOTATIONS FOR ASPECTS.

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2014, v. 59, n. 1, p. 116

By:

COJOCAR, GRIGORETA S.;
GURAN, ADRIANA M.

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:

Wichmann, Søren

Publication type:

Article

Semantic languages for developing correct language translations.

Published in:

Software Quality Journal, 2018, v. 26, n. 2, p. 417, doi. 10.1007/s11219-016-9352-4

By:

Barroca, Bruno;
Amaral, Vasco;
Buchs, Didier

Publication type:

Article

The influence of cyclomatic complexity distribution on the understandability of xtUML models.

Published in:

Software Quality Journal, 2018, v. 26, n. 2, p. 273, doi. 10.1007/s11219-016-9351-5

By:

Ukić, Nenad;
Maras, Josip;
Šerić, Ljiljana

Publication type:

Article

Considerations about quality in model-driven engineering.

Published in:

Software Quality Journal, 2018, v. 26, n. 2, p. 685, doi. 10.1007/s11219-016-9350-6

By:

Giraldo, Fáber D.;
España, Sergio;
Pastor, Óscar;
Giraldo, William J.

Publication type:

Article

Automating test-based inspection of design models.

Published in:

Software Quality Journal, 2015, v. 23, n. 1, p. 3, doi. 10.1007/s11219-013-9219-x

By:

Rocha, Anne;
Ramalho, Franklin;
Machado, Patrícia

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:

Qassir, Samar Amil;
Gaata, Methaq Talib;
Sadiq, Ahmed T.;
Taha, Imad Fakhri

Publication type:

Article

Interactive dynamic optimization server – connecting one modelling language with many solvers.

Published in:

Optimization Methods & Software, 2014, v. 29, n. 5, p. 1118, doi. 10.1080/10556788.2013.799159

By:

Pytlak, Radosław;
Tarnawski, Tomasz;
Fajdek, Bartłomiej;
Stachura, Marcin

Publication type:

Article

From Principles to Details: Integrated Framework for Architecture Modelling of Large Scale Software Systems.

Published in:

e-Informatica, 2013, v. 7, n. 1, p. 45, doi. 10.5277/e-Inf130105

By:

Zalewski, Andrzej;
Kijas, Szymon

Publication type:

Article

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP.

Published in:

Computer Journal, 2017, v. 60, n. 8, p. 1111, doi. 10.1093/comjnl/bxw084

By:

SHULING WANG;
NIELSON, FLEMMING;
NIELSON, HANNE RIIS;
NAIJUN ZHAN

Publication type:

Article

XMILE: a new standard for system dynamics.

Published in:

System Dynamics Review (Wiley), 2013, v. 29, n. 3, p. 188, doi. 10.1002/sdr.1504

By:

Eberlein, Robert L.;
Chichakly, Karim J.

Publication type:

Article

Safety Requirements Identification in Suborbital Payload Experiments.

Published in:

Journal of Aerospace Technology & Management, 2024, v. 16, p. 1, doi. 10.1590/jatm.v16.1351

By:

Carneiro Procópio, Heuller Aloys;
Galvão Martins, Luiz Eduardo;
Netto Lahoz, Carlos Henrique

Publication type:

Article

Evaluation of Perception of Use of a Gamified Platform from the Student Perspective: An Approach for Studying Unified Modeling Language.

Published in:

Informatics in Education, 2023, v. 22, n. 3, p. 369, doi. 10.15388/infedu.2023.22

By:

FEICHAS, Felipe A.;
SEABRA, Rodrigo D.

Publication type:

Article

Cross-industry Multi-domain Modelling Language Applications for Building Simulation.

Published in:

Journal of Building Performance Simulation, 2014, v. 7, n. 4, p. 251, doi. 10.1080/19401493.2014.870301

By:

Saelens, Dirk;
Schijndel, Jos van

Publication type:

Article

Rule-based demand-side management of domestic hot water production with heat pumps in zero energy neighbourhoods.

Published in:

Journal of Building Performance Simulation, 2014, v. 7, n. 4, p. 271, doi. 10.1080/19401493.2013.801518

By:

De Coninck, R.;
Baetens, R.;
Saelens, D.;
Woyte, A.;
Helsen, L.

Publication type:

Article

Modelica Buildings library.

Published in:

Journal of Building Performance Simulation, 2014, v. 7, n. 4, p. 253, doi. 10.1080/19401493.2013.765506

By:

Wetter, Michael;
Zuo, Wangda;
Nouidui, Thierry S.;
Pang, Xiufeng

Publication type:

Article

What is the time course of working memory attentional refreshing?

Published in:

Psychonomic Bulletin & Review, 2018, v. 25, n. 1, p. 370, doi. 10.3758/s13423-017-1282-z

By:

Lemaire, Benoît;
Pageot, Aurore;
Plancher, Gaën;
Portrat, Sophie

Publication type:

Article

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:

Chechik, Marsha;
Combemale, Benoit;
Gray, Jeff;
Rumpe, Bernhard

Publication type:

Article

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:

Tamzalit, Dalila;
Iovino, Ludovico

Publication type:

Article

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:

David, Istvan;
Barišić, Ankica;
Bork, Dominik

Publication type:

Article

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:

Holtmann, Jörg;
Ciccozzi, Federico;
Bast, Wim;
Pinxten, Joost van

Publication type:

Article

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:

Korontanis, Ioannis;
Makris, Antonios;
Tserpes, Konstantinos

Publication type:

Article

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:

Lafontant, Louis-Edouard;
Syriani, Eugene

Publication type:

Article

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:

Tolvanen, Juha-Pekka;
Kelly, Steven;
Di Rocco, Juri;
Pierantonio, Alfonso;
Tinella, Giordano

Publication type:

Article

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:

Rädler, Simon;
Berardinelli, Luca;
Winter, Karolin;
Rahimi, Abbas;
Rinderle-Ma, Stefanie

Publication type:

Article

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:

Ahlbrecht, Alexander;
Sprockhoff, Jasper;
Durak, Umut

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:

Combemale, Benoit;
Gray, Jeff;
Rumpe, Bernhard

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:

Combemale, Benoit;
Gray, Jeff;
Jézéquel, Jean-Marc;
Rumpe, Bernhard

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:

Lukyanenko, Roman;
Samuel, Binny M.;
Parsons, Jeffrey;
Storey, Veda C.;
Pastor, Oscar;
Jabbari, Araz

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:

Combemale, Benoit;
Gray, Jeff;
Rumpe, Bernhard

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:

Oliveira, Ítalo;
Sales, Tiago Prince;
Almeida, João Paulo A.;
Baratella, Riccardo;
Fumagalli, Mattia;
Guizzardi, Giancarlo

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:

Liaskos, Sotirios;
Zarbaf, Saba;
Mylopoulos, John;
Khan, Shakil M.

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:

Yvars, Pierre-Alain;
Zimmer, Laurent

Publication type:

Article

Agile model-based system development.

Published in:

2018

By:

Gray, Jeff;
Rumpe, Bernhard

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:

Gray, Jeff;
Rumpe, Bernhard

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:

Cabot, Jordi;
Egyed, Alexander

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:

Maoz, Shahar;
Ringert, Jan Oliver

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:

Das, Tuhin Kanti;
Dingel, Juergen

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:

Dingel, Juergen;
Schulte, Wolfram

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:

Vaupel, Steffen;
Taentzer, Gabriele;
Gerlach, René;
Guckert, Michael

Publication type:

Article