Temat: UML language - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Model systemu informatycznego w oparciu o język UML jako jeden z elementów optymalizacji systemu zarządzania środowiskowego spełniającego wymagania normy PN-EN ISO 14001:2015-09 w kontekście działalności biznesowej organizacji
A model of a computerized information system based on the UML language as one of the elements of the environmental management system optimization fulfilling the requirements of the PN-EN ISO14001:2015-09 standard, in the context of the businessperformance
Autorzy:: Chomczyk, Michał Adam
Chomczyk, Zbigniew
Powiązania:: https://bibliotekanauki.pl/articles/1819449.pdf
Data publikacji:: 2019-05-12
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: management system environment
UML modeling language
system zarządzania środowiskowego
język modelowania UML
Opis:: Niniejsza publikacja przedstawia wymagania nowej normy PN-EN ISO 14001:2015-09 –„Systemy zarządzania środowiskowego – Wymagania i wytyczne stosowania” w kontekście możliwegowykorzystania przy jej wdrożeniu elementów zunifikowanego języka modelowania UML. Główny elementpublikacji obejmuje zatem przedstawienie szczegółowych wymagań normy środowiskowej ze wskazaniemmożliwości ich zaimplementowania do procesu wspomagania komputerowego systemuzarządzania środowiskowego.
This publication is presenting a new standard PN-EN ISO 14001:2015-09 – “Environmental management systems – requirements and guidelines of applying”, in the context of the possible usage of the UML modelling language while implementing the standard. The main part of the publication includes presentation of detailed requirements of the environmental norm with indications of their capabilities for the process of computer helping (aiding) system of the environmental management.
Źródło:: Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach; 2017, 40, 113; 21-34
2082-5501
Pojawia się w:: Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

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ł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: New features in UML syntax and semantics
Autorzy:: Wolski, M.
Stasiak, A.
Powiązania:: https://bibliotekanauki.pl/articles/92885.pdf
Data publikacji:: 2006
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: unified modeling language
UML 2.0
model of IT system
new modeling techniques
Opis:: This paper is an overview of the most important new features introduced to version 2.0 of Unified Modeling Language. We denote the changes to existing diagram and present four new modeling techniques. We present the changes in definitions of syntax, semantics and pragmatics of behavioral and static models of systems designed with UML 2.0. Particular emphasis is put on the changes to sequence and activity diagrams and to component diagrams. The newly introduced diagrams, unknown in previous UML versions - interaction overview diagrams, timing diagrams, composite structure diagrams and package diagrams - are described with the most detail.
Źródło:: Studia Informatica : systems and information technology; 2006, 1(7); 265-276
1731-2264
Pojawia się w:: Studia Informatica : systems and information technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

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ł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "UML language" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język