Works matching DE "MODELING languages (Computer science)"

Results: 194

Cartographic animations, a supporting technology for education.

Published in:

International Archives of the Photogrammetry, Remote Sensing & Spatial Information Sciences, 2024, v. 48, n. 5, p. 69, doi. 10.5194/isprs-archives-XLVIII-5-2024-69-2024

By:

Obuhov, Lev;
Panidi, Evgeny

Publication type:

Article

A Systematic Literature Review on Serious Games Methodologies for Training in the Mining Sector.

Published in:

Information (2078-2489), 2025, v. 16, n. 5, p. 389, doi. 10.3390/info16050389

By:

Gómez, Claudia;
Vallejo, Paola;
Aguilar, Jose

Publication type:

Article

Symmetry-Aware Hybrid Verification for Complex Building Information Systems.

Published in:

Symmetry (20738994), 2025, v. 17, n. 5, p. 726, doi. 10.3390/sym17050726

By:

Kong, Linlin;
Yang, Qiliang;
Zhang, Yaoqin;
Zhang, Xuewei;
Zhou, Qizhen

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

A high-level modeling language for the efficient design, implementation, and testing of Android applications.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 1, doi. 10.1007/s10009-016-0441-2

By:

Jaber, Mohamad;
Falcone, Yliès;
Dak-Al-Bab, Kinan;
Abou-Jaoudeh, John;
El-Katerji, Mostafa

Publication type:

Article

Generating counterexamples of model-based software product lines.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 5, p. 585, doi. 10.1007/s10009-014-0341-2

By:

Filho, João;
Barais, Olivier;
Acher, Mathieu;
Le Noir, Jérôme;
Legay, Axel;
Baudry, Benoit

Publication type:

Article

Büchi Store: an open repository of $$\omega $$-automata.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 2, p. 109, doi. 10.1007/s10009-012-0268-4

By:

Tsay, Yih-Kuen;
Tsai, Ming-Hsien;
Chang, Jinn-Shu;
Chang, Yi-Wen;
Liu, Chi-Shiang

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:

Rego, Nicholas;
Koes, David

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:

Smith, Lucian P.;
Bergmann, Frank T.;
Chandran, Deepak;
Sauro, Herbert M.

Publication type:

Article

DATA MANAGEMENT OF TALENT MANAGEMENT INFORMATION SYSTEM FOR PROMOTION AND MUTATION OF CONSTITUTIONAL COURT EMPLOYEES BASED ON WEBSITE.

Published in:

Eduvest: Journal Of Universal Studies, 2025, v. 5, n. 1, p. 840, doi. 10.59188/eduvest.v5i1.50268

By:

Hastowahyudi, Widy;
Pertiwi, Atit

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:

Li, Jie;
der Linden, Wim J.

Publication type:

Article

Formal Definition and Modeling Language of Association-Oriented Database Metamodel (AssoBase).

Published in:

Vietnam Journal of Computer Science (World Scientific), 2019, v. 6, n. 2, p. 91, doi. 10.1142/S2196888819500052

By:

Krótkiewicz, Marek

Publication type:

Article

Intergenerational Language Transmission of Frisian and Low Saxon in the Netherlands.

Published in:

Journal of Language & Social Psychology, 2024, v. 43, n. 5/6, p. 544, doi. 10.1177/0261927X241287765

By:

Buurke, Raoul;
Bartelds, Martijn;
Heeringa, Wilbert;
Knooihuizen, Remco;
Wieling, Martijn

Publication type:

Article

An Idea Towards Improving Design Pattern Detection.

Published in:

International Journal of System & Software Engineering, 2015, v. 3, n. 2, p. 8, doi. 10.21863/ijsse/2015.3.2.008

By:

Chaturvedi, Arti;
Gupta, Manjari;
Gupta, Sanjay Kumar

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

ПРИЛОЖЕНИЕ НА ЕДИН НОВ ПОДХОД ПРИ МОДЕЛИРАНЕ НА ОБРАЗОВАТЕЛЕН СОФТУЕР

Published in:

Mathematics & Informatics, 2017, v. 60, n. 3, p. 274

By:

Замфиров, Милен

Publication type:

Article

Evaluating the Benefits and Drawbacks of Visualizing Systems Modeling Language (SysML) Diagrams in the 3D Virtual Reality Environment.

Published in:

Systems, 2025, v. 13, n. 4, p. 221, doi. 10.3390/systems13040221

By:

Lutfi, Mostafa;
Valerdi, Ricardo

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:

Ramirez, Clara A.;
Agrawal, Priyanshu;
Thompson, Amy E.

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:

Gu, Pengfei;
Zhang, Yuteng;
Chen, Zhen;
Zhao, Chun;
Xie, Kunyu;
Wu, Zhuoyi;
Zhang, Lin

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:

Akundi, Aditya;
Ontiveros, Joshua;
Luna, Sergio

Publication type:

Article

NOTIONS OF CONTEXT-DRIVEN META-MODELING (CDMM).

Published in:

Technical Transactions / Czasopismo Techniczne, 2017, v. 5, p. 75, doi. 10.4467/2353737XCT.17.071.6428

By:

Zabawa, Piotr

Publication type:

Article

Direct Encoding of Declare Constraints in ASP.

Published in:

Theory & Practice of Logic Programming, 2025, v. 25, n. 1, p. 92, doi. 10.1017/S1471068424000486

By:

CHIARIELLO, FRANCESCO;
FIONDA, VALERIA;
IELO, ANTONIO;
RICCA, FRANCESCO

Publication type:

Article

Collaborative Modeling of BPMN and HCPN: Formal Mapping and Iterative Evolution of Process Models for Scenario Changes.

Published in:

Information (2078-2489), 2025, v. 16, n. 4, p. 323, doi. 10.3390/info16040323

By:

Zhang, Zhaoqi;
Ni, Feng;
Liu, Jiang;
Chen, Niannian;
Zhou, Xingjun

Publication type:

Article

INVESTIGATION OF ELASTIC PENDULUM OSCILLATIONS BY SIMULATION TECHNIQUE.

Published in:

Pamukkale University Journal of Engineering Sciences, 2009, v. 15, n. 1, p. 81

By:

GİRGİN, Zekeriya;
DEMİR, Ersin

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

Puzzle—Three Set Pieces.

Published in:

INFORMS Transactions on Education, 2014, v. 14, n. 2, p. 105, doi. 10.1287/ited.2013.0122

By:

Chlond, Martin J.

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:

Newman, Alexandra M.;
Weiss, Martin

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:

Hindle, Giles A.

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:

Chlond, Martin J.

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:

Troxell, Denise Sakai

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:

Trick, Michael A.

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

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

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

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

بهره گیری از توسعه ی مدل رانده برای ارزیابی شاخصهای کلیدی عملکرد در شهر هوشمند.

Published in:

Engineering Management & Soft Computing, 2024, v. 10, n. 2, p. 1

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:

Horváth, Péter;
Hosszú, Gábor;
Kovács, Ferenc

Publication type:

Article