Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "UML modeling language" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Wprowadzenie do modelowania w języku UML
    Introduction to UML modeling
    Autorzy:
    Szynalski, Konrad
    Różański, Dawid
    Powiązania:
    https://bibliotekanauki.pl/articles/2146699.pdf
    Data publikacji:
    2022
    Wydawca:
    Wrocławska Wyższa Szkoła Informatyki Stosowanej Horyzont
    Tematy:
    UML
    modelowanie
    zunifikowany język modelowania
    modeling
    unified modeling language
    Opis:
    UML, czyli Zunifikowany Język Modelowania, służy do zapisywania projektu systemu i może być również stosowany w celu graficznego opracowania lub tworzenia oprogramowania. Umożliwia on konstruowanie diagramów, które przedstawiają różne punkty widzenia systemu. W obecnych czasach UML stosuje się również w innych branżach, ponieważ przy jego pomocy można w komfortowy sposób analizować oraz modelować różne działania. Jedną z największych zalet tego języka jest fakt, że pozwala na jednakową interpretację wszystkich modeli przez osoby, które się nim zajmują. Co ważne, może być on zapisywany w formie graficznej przystępnej dla większości osób oraz w formie kodu ukierunkowanego na programistów.
    UML or Unified Modeling language is used to save the system design and can also be used for graphic development or software development. It allows to create diagrams that present different points of view of the system. Nowadays, UML is also used in other industries because it allows to conveniently analyze and model various activities. One of the greatest advantages of this language is the fact that it makes it possible to equally interpret all the models by the people who deal with it. Importantly, it can be saved in a graphical form that is accessible to most people and in the form of code that is aimed at programmers.
    Źródło:
    Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka; 2022, 9, 1; 31--37
    2082-9892
    Pojawia się w:
    Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    UML Verification with Verics
    Autorzy:
    Niewiadomski, A.
    Penczek, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/92916.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    model checking
    UML
    unified modeling language
    VerICS
    Opis:
    We show how to verify UML specifications against properties expressed by CTL-like formulas using the symbolic model checker Verics. Our method is illustrated with an example showing a verification of Alternating Bit Protocol.
    Źródło:
    Studia Informatica : systems and information technology; 2007, 1(8); 19-31
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Context-driven meta-modeler (CDMM-Meta-Modeler) application case-study
    Autorzy:
    Zabawa, P.
    Fitrzyk, G.
    Nowak, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/95009.pdf
    Data publikacji:
    2016
    Wydawca:
    Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
    Tematy:
    meta-model
    application context
    open ontology
    modeling language
    meta-modeling process
    visual modeling
    UML
    UML Profiles
    Opis:
    The main contribution of this paper is the working case study for meta-modeling process performed in open ontologies. It contrasts to close ontology based approaches well known from software engineering discipline. Moreover, in place of ontological standards like Resource Description Framework (RDF) defined by World Wide Web Consortium (W3C) or Web Ontology Language (OWL) by W3C and Object Management Group (OMG), the presented meta-modeling approach is based on notions characteristic for software engineering, like class, relationship, Unified Modeling Language (UML), UML Profile, stereotype, meta-model as well as for enterprise applications. This approach is feasible as it refers to the concept of Context-Driven Meta-Modeling (CDMM) introduced in previous papers and implemented in the form of Context-Driven Meta-Modeling Framework (CDMM-F). The case study is realized in the form of graphical UML modeling of the modeling language (metamodel) in the Context-Driven Meta-Modeling Meta-Modeler (CDMM-MetaModeler) Thus the presented case-study constitutes the proof-of-the-concept for graphical meta-modeling for all mentioned concepts and their implementations. It also displays the nature of the meta-modeling process in this paradigm and explains some mechanisms that play important role when process effectiveness and convenience of the meta-model designer are taken into account.
    Źródło:
    Information Systems in Management; 2016, 5, 1; 144-158
    2084-5537
    2544-1728
    Pojawia się w:
    Information Systems in Management
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Data warehouse design based on UML language
    Autorzy:
    Barczak, A.
    Wolski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/92946.pdf
    Data publikacji:
    2008
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    data warehouses
    rational unified process
    IT systems
    modeling IT systems
    UML
    Unified Modeling Language
    Opis:
    Modern management in organizations of the 21st century are efficient and dynamic decisions based on collected and well analyzed data. There are growing needs with regard of data analysis related to multiplanar work in corporations force formation of new data warehouses whose construction becomes more and more complex. In this paper we present one of the design methodologies applying to the design of data warehouses. Transformations were particularly emphasized that enable the application of UML models involving Common Warehouse Metamodel.
    Źródło:
    Studia Informatica : systems and information technology; 2008, 1(10); 37-48
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa języka dziedzinowego (KsiML)
    Production of information services using the concept of domain modeling : a systematic approach for building domain specific language (KsiML)
    Autorzy:
    Kosior, A.
    Stasiak, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/273393.pdf
    Data publikacji:
    2012
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    język dziedzinowy
    DSL
    modelowanie dziedzin
    DSM
    języki modelowania dziedzin
    DSML
    metody wytwarzania SI
    UML
    domain specific language
    domain specific modeling
    domain specific modeling languages
    Opis:
    W artykule przedstawiono opis procesu budowy języka dziedzinowego KsiML z wykorzystaniem MDE, bazując na modelowaniu dziedzin (DSM) i autorskiej metodzie KMS. Proces ten wykorzystano do budowy serwisu informacyjnego o projektach studenckich. W założeniach, zastosowanie zaproponowanego procesu powinno prowadzić do wzrostu jakości i reużycia tworzonego kodu, powodując obniżenie kosztów budowanych systemów.
    The paper describes a process of building the domain language KsiML using the MDE approach, based on modeling domains (DSM) and the authors' KMS method . The process was used to build an information service of students' projects. In assumptions, the application of the proposed process should lead to height of quality and re-use of the source code, as well as decrease of construction systems costs.
    Źródło:
    Biuletyn Instytutu Automatyki i Robotyki; 2012, R. 18, nr 32, 32; 23-52
    1427-3578
    Pojawia się w:
    Biuletyn Instytutu Automatyki i Robotyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies