Temat: "Modeling language" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: A Survey of Tool Support for Working with Design Decisions in Code.
Autorzy:: MEHRPOUR, SAHAR
LATOZA, THOMAS D.; Pokaż więcej
Źródło:: ACM Computing Surveys. Feb2024, Vol. 56 Issue 2, p1-37. 37p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 2.

Tytuł:: Systematic Review of Web-Based Decision Support Systems for Clinical Applications: Enhancing Ontology with Unified Modeling Language and Ontology Web Language.
Autorzy:: Ahmed, Ahmed Shihab
Layeb, Safa Bhar; Pokaż więcej
Źródło:: TEM Journal. Feb2024, Vol. 13 Issue 1, p77-89. 13p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 3.

Tytuł:: Adding Rows in Main e-Abacus Diagrams.
Autorzy:: Mahmood, Ammar S.
Khaleel, Jwan K.; Pokaż więcej
Alternatywny tytuł:: اضافة صفوف على المخططات المعداد الرئيسة من النمط - e.
Źródło:: Iraqi Journal of Science. 2024, Vol. 65 Issue 2, p841-852. 12p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 4.

Tytuł:: Formalizing UML State Machines for Automated Verification - A Survey.
Autorzy:: ANDRÉ, ÉTIENNE
SHUANG LIU
YANG LIU
CHOPPY, CHRISTINE
JUN SUN
JIN SONG DONG; Pokaż więcej
Źródło:: ACM Computing Surveys. 2023 Suppl13s, Vol. 55, p1-47. 47p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 5.

Tytuł:: Using a Parameter Diagram as a DoE Planning Tool.
Autorzy:: BARSALOU, Matthew
WILCYNSKA, Karolina
SARAIVA, Pedro Manuel; Pokaż więcej
Źródło:: Management & Production Engineering Review (MPER). Dec2023, Vol. 14 Issue 4, p3-9. 7p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 6.

Tytuł:: Multi-Layer Consistency Validation of IoT Systems with UML Inheritance Dynamic Diagrams via SPIN Model Checking.
Autorzy:: Messaoudi, Nabil
Hicham, Haouassi
Messaoud, Maarouk Toufik
Elkamel, Hamdane Mohamed; Pokaż więcej
Źródło:: Ingénierie des Systèmes d'Information. Dec2023, Vol. 28 Issue 6, p1533-1547. 15p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 7.

Tytuł:: Dynamic Semiosis: Meaning, Informing, and Conforming in Constructing the Past.
Autorzy:: Thibodeau, Kenneth (AUTHOR); Pokaż więcej
Źródło:: Information (2078-2489). Jan2024, Vol. 15 Issue 1, p13. 18p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 8.

Tytuł:: MBIPV: a model-based approach for identifying privacy violations from software requirements.
Autorzy:: Ye, Tong (AUTHOR)
Zhuang, Yi (AUTHOR)
Qiao, Gongzhe (AUTHOR); Pokaż więcej
Źródło:: Software & Systems Modeling. Aug2023, Vol. 22 Issue 4, p1251-1280. 30p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 9.

Tytuł:: Formal Methods in Railways: A Systematic Mapping Study.
Autorzy:: FERRARI, ALESSIO alessio.ferrari.@isti.cnr.it
TER BEEK, MAURICE H.; Pokaż więcej
Źródło:: ACM Computing Surveys. May2023, Vol. 55 Issue 4, p1-37. 37p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 10.

Tytuł:: Extraction of use case diagram elements using natural language processing and network science.
Autorzy:: Imtiaz Malik, Maryam (AUTHOR)
Azam Sindhu, Muddassar (AUTHOR)
Ayaz Abbasi, Rabeeh (AUTHOR); Pokaż więcej
Źródło:: PLoS ONE. 6/23/2023, Vol. 17 Issue 6, p1-25. 25p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 11.

Tytuł:: Development of a Conceptual Model of a Road Accident Geoinformation System.
Autorzy:: KUNCHEV, Ivan
ANGELOVA, Maria; Pokaż więcej
Alternatywny tytuł:: Razvoj konceptualnog modela geoinformacijskog sustava prometnih nesreca.
Źródło:: Cartography & Geoinformation / Kartografija i Geoinformacije. Jun2023, Vol. 21 Issue 39, p4-19. 16p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 12.

Tytuł:: Analysis, Evaluation and Reusability of Virtual Laboratory Software Based on Conceptual Modeling and Conformance Checking †.
Autorzy:: Sypsas, Athanasios (AUTHOR)
Kalles, Dimitris (AUTHOR); Pokaż więcej
Źródło:: Mathematics (2227-7390). May2023, Vol. 11 Issue 9, p2153. 16p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 13.

Tytuł:: MAPE-K patterns for self-adaptation in cyber-physical systems.
Autorzy:: Ben Halima, Riadh (AUTHOR)
Hachicha, Marwa (AUTHOR)
Jemal, Ahmed (AUTHOR)
Hadj Kacem, Ahmed (AUTHOR); Pokaż więcej
Źródło:: Journal of Supercomputing. Mar2023, Vol. 79 Issue 5, p4917-4943. 27p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 14.

Tytuł:: Tactile maps of historical gardens: method of content selection.
Autorzy:: Zwirowicz-Rutkowska, A. (AUTHOR)
Mościcka, A. (AUTHOR)
Araszkiewicz, A. (AUTHOR)
Wabiński, J. (AUTHOR)
Kiliszek, D. (AUTHOR); Pokaż więcej
Źródło:: Heritage Science. Dec2023, Vol. 11 Issue 1, p1-28. 28p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 15.

Tytuł:: The impact of applying product-modelling techniques in configurator projects.
Autorzy:: Hvam, Lars (AUTHOR)
Kristjansdottir, Katrin (AUTHOR)
Shafiee, Sara (AUTHOR)
Mortensen, Niels Henrik (AUTHOR)
Herbert-Hansen, Zaza Nadja Lee (AUTHOR); Pokaż więcej
Źródło:: International Journal of Production Research. Jul2019, Vol. 57 Issue 14, p4435-4450. 16p. 4 Diagrams, 7 Charts.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 16.

Tytuł:: Design of classical-quantum systems with UML.
Autorzy:: Pérez-Castillo, Ricardo (AUTHOR)
Piattini, Mario (AUTHOR); Pokaż więcej
Źródło:: Computing. Nov2022, Vol. 104 Issue 11, p2375-2403. 29p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 17.

Tytuł:: ReqGen: Keywords-Driven Software Requirements Generation.
Autorzy:: Zhao, Ziyan (AUTHOR)
Zhang, Li (AUTHOR)
Lian, Xiaoli (AUTHOR)
Gao, Xiaoyun (AUTHOR)
Lv, Heyang (AUTHOR)
Shi, Lin (AUTHOR); Pokaż więcej
Źródło:: Mathematics (2227-7390). Jan2023, Vol. 11 Issue 2, p332. 22p.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 18.

Tytuł:: Faltas en el aprendizaje del modelado de clases y casos de uso: una revisión sistemática.
Autorzy:: Ucán-Pech, Juan-Pablo
Aguilar-Vera, Raúl-Antonio
Díaz-Mendoza, Julio-César
Gómez-Gómez, Omar-Salvador; Pokaż więcej
Alternatywny tytuł:: Learning Failures in Class Modeling and Use Cases: A Systematic Review.
Falhas de aprendizagem em modelagem de classes e casos de uso: uma revisão sistemática.
Źródło:: Revista Científica. ene-abr2023, Vol. 46 Issue 1, p93-106. 14p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 19.

Tytuł:: Modelling Quality Assurance System Process Using UML Notation.
Autorzy:: Mokhtar, Rashidah
Othman, Siti Hajar
Ramlan, Rohaizan; Pokaż więcej
Źródło:: Ingénierie des Systèmes d'Information. Oct2022, Vol. 27 Issue 5, p705-716. 12p.

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 20.

Tytuł:: Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal.
Autorzy:: Arfi, Farid (AUTHOR)
Courbis, Anne‐Lise (AUTHOR)
Lambolais, Thomas (AUTHOR)
Bughin, François (AUTHOR)
Hayot, Maurice (AUTHOR); Pokaż więcej
Źródło:: IET Software (Wiley-Blackwell). Aug2023, Vol. 17 Issue 4, p582-599. 18p.

Czasopismo naukowe

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Modeling language"" wg kryterium: Temat

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji