Works matching DE "UNIFIED modeling language"

Results: 1230

Code generation for classical-quantum software systems modeled in UML.

Published in:

Software & Systems Modeling, 2025, v. 24, n. 3, p. 795, doi. 10.1007/s10270-024-01259-w

By:

Jiménez-Navajas, Luis;
Pérez-Castillo, Ricardo;
Piattini, Mario

Publication type:

Article

Research on the Adsorption Characteristics of Shale Gas in Different Types of Kerogen.

Published in:

Processes, 2025, v. 13, n. 5, p. 1362, doi. 10.3390/pr13051362

By:

Yin, Ao;
Liu, Zhixiang;
Zhang, Yongli;
Ma, Yulin

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

Visualisation of the brownout phenomenon, integration and test on a helicopter flight simulator.

Published in:

Aeronautical Journal, 2011, v. 115, n. 1163, p. 57, doi. 10.1017/S0001924000005364

By:

Gerlach, T.

Publication type:

Article

Inside SysML.

Published in:

Electronics Systems & Software, 2005, v. 3, n. 3, p. 20

By:

Hause, Matthew;
Thorn, Francis;
Moore, Alan

Publication type:

Article

Designing a SCADA system powered by JAVA and XML.

Published in:

Computing & Control Engineering, 2005, v. 16, n. 5, p. 31

By:

Fan, R.;
Cheded, L.;
Toker, O.

Publication type:

Article

Inside SysML.

Published in:

Computing & Control Engineering, 2005, v. 16, n. 4, p. 10

By:

Hause, Matthew;
Thom, Francis;
Moore, Alan

Publication type:

Article

REQUIREMENTS ANALYSIS AND UML.

Published in:

Computing & Control Engineering, 2003, v. 14, n. 3, p. 7, doi. 10.1049/cce:20030301

By:

Vidgen, Richard

Publication type:

Article

Propuesta para el manejo de restricciones en modelos de clases usando atom.

Published in:

Ingeniería y Desarrollo, 2005, n. 17, p. 130

By:

Zapata J., Carlos M.;
Alvarez C., Carlos A.;
Arango I., Fernando

Publication type:

Article

Global memory schemes for dynamic optimization.

Published in:

Natural Computing, 2016, v. 15, n. 2, p. 319, doi. 10.1007/s11047-015-9497-2

By:

Bravo, Yesnier;
Luque, Gabriel;
Alba, Enrique

Publication type:

Article

An overlapping Voronoi diagram-based system for multi-criteria optimal location queries.

Published in:

GeoInformatica, 2019, v. 23, n. 1, p. 105, doi. 10.1007/s10707-018-00338-7

By:

Zhang, Ji;
Harn, Po-Wei;
Ku, Wei-Shinn;
Sun, Min-Te;
Qin, Xiao;
Lu, Hua;
Jiang, Xunfei

Publication type:

Article

Specifying and Implementing Constraints in GIS—with Examples from a Geo-Virtual Reality System.

Published in:

GeoInformatica, 2006, v. 10, n. 4, p. 531, doi. 10.1007/s10707-006-0345-5

By:

Louwsma, Jildou;
Zlatanova, Sisi;
Lammeren, Ron;
Oosterom, Peter

Publication type:

Article

Static generation of UML sequence diagrams.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 31, doi. 10.1007/s10009-019-00545-z

By:

Alvin, Chris;
Peterson, Brian;
Mukhopadhyay, Supratik

Publication type:

Article

Model-based regression testing by OCL.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 115, doi. 10.1007/s10009-015-0408-8

By:

Zech, Philipp;
Kalb, Philipp;
Felderer, Michael;
Atkinson, Colin;
Breu, Ruth

Publication type:

Article

A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 3, p. 285, doi. 10.1007/s10009-014-0354-x

By:

Faria, João;
Paiva, Ana

Publication type:

Article

Towards Model-Driven V&V assessment of railway control systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 669, doi. 10.1007/s10009-014-0320-7

By:

Marrone, Stefano;
Flammini, Francesco;
Mazzocca, Nicola;
Nardone, Roberto;
Vittorini, Valeria

Publication type:

Article

Model-based testing of software and systems: recent advances and challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 383, doi. 10.1007/s10009-012-0240-3

By:

Petrenko, Alexandre;
Simao, Adenilso;
Maldonado, José

Publication type:

Article

Scenario-based testing from UML/OCL behavioral models.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 431, doi. 10.1007/s10009-011-0189-7

By:

Castillos, Kalou;
Dadeau, Frédéric;
Julliand, Jacques

Publication type:

Article

Tool support for the design of self-optimizing mechatronic multi-agent systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 3, p. 207, doi. 10.1007/s10009-008-0067-0

By:

Burmester, Sven;
Giese, Holger;
Münch, Eckehard;
Oberschelp, Oliver;
Klein, Florian;
Scheideler, Peter

Publication type:

Article

Tools for secure systems development with UML.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 527, doi. 10.1007/s10009-007-0048-8

By:

Jürjens, Jan;
Shabalin, Pasha

Publication type:

Article

MDA-based Automatic OWL Ontology Development.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 2, p. 103, doi. 10.1007/s10009-006-0002-1

By:

Gašević, Dragan;
Djurić, Dragan;
Devedžić, Vladan

Publication type:

Article

Towards UML-based formal specifications of component-based real-time software.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 2, p. 179, doi. 10.1007/s10009-006-0024-8

By:

Bianco, Vieri;
Lavazza, Luigi;
Mauri, Marco;
Occorso, Giuseppe

Publication type:

Article

Tool Support for Estimating the Memory Usage of Mobile Phone Software.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 6, p. 531, doi. 10.1007/s10009-006-0012-z

By:

Jørgensen, Jens Bæk;
Christensen, Søren;
Tuovinen, Antti-Pekka;
Xu, Jianli

Publication type:

Article

A semantics of communicating reactive objects with timing.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 97, doi. 10.1007/s10009-005-0207-8

By:

Hooman, Jozef;
van der Zwaag, Mark B.

Publication type:

Article

Validating timed UML models by simulation and verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 128, doi. 10.1007/s10009-005-0205-x

By:

Ober, Iulian;
Graf, Susanne;
Ober, Ileana

Publication type:

Article

The HybridUML profile for UML 2.0.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 167, doi. 10.1007/s10009-005-0211-z

By:

Berkenkötter, Kirsten;
Bisanz, Stefan;
Hannemann, Ulrich;
Peleska, Jan

Publication type:

Article

On a time enriched OCL liveness template.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 156, doi. 10.1007/s10009-005-0210-0

By:

Küster-Filipe, Juliana;
Anderson, Stuart

Publication type:

Article

A real-time profile for UML.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 2, p. 113, doi. 10.1007/s10009-005-0213-x

By:

Graf, Susanne;
Ober, Ileana;
Ober, Iulian

Publication type:

Article

System-level functional testing from UML specifications in end-of-production industrial environments.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 4, p. 326, doi. 10.1007/s10009-004-0147-8

By:

Baldini, Andrea;
Benso, Alfredo;
Prinetto, Paolo

Publication type:

Article

Tool integration at the meta-model level: the Fujaba approach.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 3, p. 203, doi. 10.1007/s10009-004-0155-8

By:

Burmester, Sven;
Giese, Holger;
Niere, Jörg;
Tichy, Matthias;
Wadsack, Jörg P.;
Wagner, Robert;
Wendehals, Lothar;
Zündorf, Albert

Publication type:

Article

The caBIG® Life Science Business Architecture Model.

Published in:

Bioinformatics, 2011, v. 27, n. 10, p. 1429, doi. 10.1093/bioinformatics/btr141

By:

Boyd, Lauren Becnel;
Hunicke-Smith, Scott P.;
Stafford, Grace A.;
Freund, Elaine T.;
Ehlman, Michele;
Chandran, Uma;
Dennis, Robert;
Fernandez, Anna T.;
Goldstein, Stephen;
Steffen, David;
Tycko, Benjamin;
Klemm, Juli D.

Publication type:

Article

延迟焦化装置全流程硫分布预测与硫腐蚀.

Published in:

Corrosion & Protection in Petrochemical Industry, 2023, v. 40, n. 4, p. 26

By:

党建军

Publication type:

Article

高速重载齿轮振动与磨损的可靠性分析.

Published in:

Construction Machinery & Equipment, 2023, v. 54, n. 7, p. 56

By:

刘炀;
胡绍东;
宁少甫

Publication type:

Article

喷孔锥度对喷气织机环槽型辅助喷嘴性能的影响.

Published in:

Light Industry Machinery, 2023, v. 41, n. 2, p. 42, doi. 10.3969/j.issn.1005-2895.2023.02.007

By:

马建鑫;
打陈永当;
程云飞;
杨兴轩;
牛思旗

Publication type:

Article

Toward Automatic Transformation of Service Choreography Into UMLState Machine.

Published in:

Journal of Computing & Security, 2015, v. 2, n. 3, p. 209

By:

Rastegari, Yousef;
Shams, Fereidoon

Publication type:

Article

A METHODOLOGY FOR DESIGNING HIGH CONFIDENCE PATTERN VIA EVENT B.

Published in:

International Journal of Intelligent Computing & Information Sciences, 2017, v. 17, n. 3, p. 65

By:

Elsayed, E. K.;
El-Sharawy, E. E.;
Ibrahmim, A. A.

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

Substantiating the excitation conditions of a two-module vibration-driven locomotion system with two unbalanced rotors.

Published in:

Vibroengineering Procedia, 2023, v. 49, p. 16, doi. 10.21595/vp.2023.23329

By:

Korendiy, Vitaliy;
Predko, Rostyslav;
Kotsiumbas, Oleh;
Lozynskyy, Vasyl;
Nazar, Ihor;
Ostashuk, Mykola

Publication type:

Article

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

Published in:

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

By:

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

Publication type:

Article

Viewing the Role of Alternate Care Service Pathways in the Emergency Care System through a Causal Loop Diagram Lens.

Published in:

Systems, 2023, v. 11, n. 5, p. 215, doi. 10.3390/systems11050215

By:

Kumar, Ashish;
Liu, Zhenghong;
Ansah, John Pastor;
Ng, Yih Yng;
Leong, Benjamin Sieu-Hon;
Matchar, David Bruce;
Ong, Marcus Eng Hock;
Siddiqui, Fahad Javaid

Publication type:

Article

Integration of SysML and Virtual Reality Environment: A Ground Based Telescope System Example.

Published in:

Systems, 2023, v. 11, n. 4, p. 189, doi. 10.3390/systems11040189

By:

Lutfi, Mostafa;
Valerdi, Ricardo

Publication type:

Article

Upscaling Customer Access Network Using Spectrum Conversion–Slicing–Duplication Technique.

Published in:

Photonics, 2023, v. 10, n. 11, p. 1271, doi. 10.3390/photonics10111271

By:

Ab-Rahman, Mohammad Syuhaimi;
Rahman, Juwairiyyah Abdul;
Arifin, Nurul Farhana Mohd;
Kaharudin, Iszan Hana;
Hwang, I-Shyan

Publication type:

Article

Multi-Layer Consistency Validation of IoT Systems with UML Inheritance Dynamic Diagrams via SPIN Model Checking.

Published in:

Ingénierie des Systèmes d'Information, 2023, v. 28, n. 6, p. 1533, doi. 10.18280/isi.280610

By:

Messaoudi, Nabil;
Hicham, Haouassi;
Messaoud, Maarouk Toufik;
Elkamel, Hamdane Mohamed

Publication type:

Article

Modelling Quality Assurance System Process Using UML Notation.

Published in:

Ingénierie des Systèmes d'Information, 2022, v. 27, n. 5, p. 705, doi. 10.18280/isi.270503

By:

Mokhtar, Rashidah;
Othman, Siti Hajar;
Ramlan, Rohaizan

Publication type:

Article

Modelling of Crime Record Management System Using Unified Modeling Language.

Published in:

Ingénierie des Systèmes d'Information, 2021, v. 26, n. 4, p. 365, doi. 10.18280/isi.260404

By:

Hisham, Alyaa;
Ahmed, Aya;
Khaled, Mariam;
Abdullatif, Nour;
Kassem, Sally

Publication type:

Article

АНАЛИЗЪТ ПО ОБЕКТИ КАТО ИНСТРУМЕНТ ЗА ОЦЕНКА ЕФЕКТИВНОСТТА НА ВЕРИГАТА НА ДОСТАВКИТЕ НА МАЛКИТЕ И СРЕДНИ ПРИДПРИЯТИЯ

Published in:

Management & Education / Upravlenie i Obrazovanie, 2020, v. 16, n. 1, p. 107

By:

Антонова, Еманиула

Publication type:

Article

Improved Approach to the Development of the Crop Monitoring System Based on the Use of Multi-Source Spatial Data.

Published in:

Journal of Ecological Engineering, 2020, v. 21, n. 7, p. 108, doi. 10.12911/22998993/125442

By:

Kokhan, Svitlana;
Dorozhynskyy, Oleksandr;
Burshtynska, Khrystyna;
Vostokov, Anatoliy;
Drozdivskyi, Oleg

Publication type:

Article

An Integrative Process-Based Model for Biomass and Yield Estimation of Hardneck Garlic (Allium sativum).

Published in:

Frontiers in Plant Science, 2022, v. 13, p. 1, doi. 10.3389/fpls.2022.783810

By:

Yun, Kyungdahm;
Shin, Minji;
Moon, Kyung Hwan;
Kim, Soo-Hyung

Publication type:

Article

An empirical study to evaluate students' conceptual modeling skills using UML.

Published in:

Computer Science Education, 2019, v. 29, n. 4, p. 407, doi. 10.1080/08993408.2019.1642699

By:

Aljumaily, Harith;
Cuadra, Dolores;
Laefer, Debra F.

Publication type:

Article

Students' different understandings of class diagrams.

Published in:

Computer Science Education, 2012, v. 22, n. 1, p. 29, doi. 10.1080/08993408.2012.665210

By:

Boustedt, Jonas

Publication type:

Article