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)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Biblioteki  UŚ  i  UE  w  Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteki  UŚ  i  UE  w  Katowicach
Nowości Rankingi Rezerwacja kabin Zaproponuj zakup Aplikacja mobilna

Wyszukujesz frazę "model UML" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-27 z 27
    Tytuł:
    Testowanie roboczych wersji specyfikacji danych tematów załączników II i III INSPIRE
    Testing of draft inspire annex II and III themes data specifications
    Autorzy:
    Michalak, J.
    Data publikacji:
    2012
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    dyrektywa INSPIRE
    specyfikacja danych
    model UML
    schemat XSD
    GML
    INSPIRE directive
    data specification
    UML model
    XSD schema
    Pokaż więcej
    Źródło:
    Roczniki Geomatyki; 2012, 10, 2; 51-64
    1731-5522
    2449-8963
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Korelacja schematu aplikacyjnego z rozporządzenia fotogrametrycznego ze specyfikacjami danych INSPIRE
    Correlation of the application schema from the „photogrammetric” regulation with INSPIRE data specifications
    Autorzy:
    Parzyński, Z.
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Geodetów Polskich
    Tematy:
    model UML dla FOTO
    specyfikacje danych INSPIRE
    dyrektywa INSPIRE
    rozporządzenie fotogrametryczne
    UML model for the PHOTO
    INSPIRE data specification
    INSPIRE directive
    photogrammetric regulation
    Pokaż więcej
    Źródło:
    Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2012, 24; 257-266
    2083-2214
    2391-9477
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Konstrukcja diagramu klas UML z zastosowaniem Model-Driven Development
    Construction of UML class diagram with Model-Driven Development
    Autorzy:
    Górski, T.
    Sowa, M.
    Data publikacji:
    2016
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    Model-Driven Development
    transformacje
    Unified Modeling Language
    Model analityczny/projektowy
    diagram klas UML
    diagram komunikacji UML
    transformations
    Unified Modelling Language
    analysis/design model
    UML class diagram
    UML communication diagram
    Pokaż więcej
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2016, 65, 1; 111-129
    1234-5865
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Business process modeling and analysis system
    Modelowanie procesów biznesowych i analiza systemowa
    Autorzy:
    Milewska, E.
    Data publikacji:
    2010
    Wydawca:
    Akademia Morska w Szczecinie. Wydawnictwo AMSz
    Tematy:
    BPMN
    UML
    model przedsiębiorstwa
    system informatyczny
    business model
    information system
    Pokaż więcej
    Źródło:
    Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2010, 24 (96); 59-62
    1733-8670
    2392-0378
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
    UML activity diagrams and Petri nets in binary control systems - from transformation to verification
    Autorzy:
    Grobelny, M.
    Grobelna, I.
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    diagramy aktywności UML
    sieci Petriego
    weryfikacja modelowa
    UML activity diagrams
    Petri nets
    model checking
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1154-1158
    0032-4140
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV
    Verification of logic controller requirements specification by means of UML activity diagrams, LTL temporal logic and NuSMV tool
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    diagramy aktywności UML
    specyfikacja
    model logiczny
    weryfikacja modelowa
    logika temporalna
    UML activity diagrams
    specification
    logical model
    model checking
    temporal logic
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 10; 188-192
    1427-9126
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Podejście wieloaspektowe do modelowania w diagnostyce technicznej
    A multiaspect approach to the modelling in technical diagnostics
    Autorzy:
    Skupnik, D.
    Data publikacji:
    2008
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    diagnostyka techniczna
    model diagnostyczny
    aspekt
    model wieloaspektowy
    UML
    technical diagnostics
    diagnostic model
    aspect
    multiaspect model
    Pokaż więcej
    Źródło:
    Diagnostyka; 2008, 2(46); 117-120
    1641-6414
    2449-5220
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Obiektowe podejście w modelowaniu procesów pomiarowych w badaniach pojazdów szynowych
    The object approach in modelling the measuring processes in tests of rail vehicles
    Autorzy:
    Barczak, Arkadiusz
    Data publikacji:
    2005
    Wydawca:
    Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
    Tematy:
    procesy pomiarowe
    pojazdy szynowe
    formalizmy
    diagramy UML
    model obiektowy
    Pokaż więcej
    Źródło:
    Rail Vehicles/Pojazdy Szynowe; 2005, 4; 31-39
    0138-0370
    2719-9630
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Weryfikacja modelowa hierarchicznej specyfikacji sterownika logicznego
    Model checking of hierarchical logic controller specification
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Data publikacji:
    2013
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    hierarchia
    interpretowane sieci Petriego
    diagramy aktywności UML
    weryfikacja modelowa
    hierarchy
    interpreted Petri nets
    UML activity diagrams
    model checking
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Kontrola; 2013, R. 59, nr 8, 8; 796-798
    0032-4140
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Context-driven meta-modeler (CDMM-Meta-Modeler) application case-study
    Autorzy:
    Zabawa, P.
    Fitrzyk, G.
    Nowak, K.
    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
    Pokaż więcej
    Źródło:
    Information Systems in Management; 2016, 5, 1; 144-158
    2084-5537
    2544-1728
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Planowanie złożonego wdrożenia systemu IT
    Planning of IT system complex deployment
    Autorzy:
    Laszko, Ł.
    Stasiak, A.
    Data publikacji:
    2011
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    model topologii
    model wdrożenia
    planowanie wdrożenia
    języki dziedzinowe
    UML
    topology model
    deployment model
    deployment planning
    domain languages
    Pokaż więcej
    Źródło:
    Biuletyn Instytutu Automatyki i Robotyki; 2011, R. 17, nr 31, 31; 55-77
    1427-3578
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Transformacja diagramu aktywności UML w przepływ integracyjny BPEL
    UML activity diagram transformation into BPEL integration flow
    Autorzy:
    Górski, T.
    Ziemski, G.
    Data publikacji:
    2018
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    Web Services Business Process Execution Language
    BPEL
    Enterprise Service Bus
    ESB
    Unified Modelling Language
    UML
    diagram aktywności UML
    Model-Driven Development
    MDD
    transformacje
    UML activity diagram
    transformation
    Pokaż więcej
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2018, 67, 3; 15-45
    1234-5865
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Modele danych przestrzennych w UML i ich transformacja do schematów GML i struktur baz danych
    UML geospatial data models and their transformation into GML schemas and database structures
    Autorzy:
    Michalak, J.
    Chojka, A.
    Zwirowicz-Rutkowska, A.
    Parzyński, Z.
    Data publikacji:
    2012
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    geoinformacja
    informacja geograficzna
    model pojęciowy
    UML
    model relacyjny
    transformacja
    geoinformation
    geographic information
    conceptual model
    application schema
    GML
    relational model
    transformation
    Pokaż więcej
    Źródło:
    Roczniki Geomatyki; 2012, 10, 1
    1731-5522
    2449-8963
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    UML. Kurs video. Projektowanie diagramów i modelowanie systemów w teorii i praktyce
    Autorzy:
    Artur Olszczyński
    Data publikacji:
    2023-07-06
    Wydawca:
    Videopoint
    Słowa kluczowe:
    Programowanie
    Techniki programowania
    diagram sekwecji
    klasa
    modelowanie procesów
    diagram stanów
    przypadek użycia
    diagram przypadków użycia
    język uml
    diagram komponentów
    uml
    diagramy uml kurs video
    projektowanie diagramów uml kurs
    obiekt
    diagram klas
    diagramy uml
    aktor
    atrybuty
    model
    Pokaż więcej
    Dostawca treści:
    ebookpoint BIBLIO
    Wideokurs
    Szczegóły
    Tytuł:
    Propozycja modelu pojęciowego danych wieczysto-księgowych
    Proposal of a conceptual model of the land register data
    Autorzy:
    Góźdź, K.
    Pachelski, W.
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    księga wieczysta
    modelowanie pojęciowe
    UML
    katastralny model administrowania terenem
    land register
    conceptual modeling
    Land Administration Domain Model
    Pokaż więcej
    Źródło:
    Roczniki Geomatyki; 2014, 12, 3(65); 259-278
    1731-5522
    2449-8963
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Petri nets and activity diagrams in logic controller specification – transformation and verification
    Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Adamski, M.
    Data publikacji:
    2010
    Wydawca:
    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
    Tematy:
    formal verification
    logic controller
    model checking
    Petri nets
    UML Activity
    Diagrams
    formalna weryfikacja
    sterownik logiczny
    weryfikacja modelowa
    sieci Petriego
    diagramy aktywności UML
    Pokaż więcej
    Źródło:
    Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2010, 13; 79-91
    1899-0088
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    From UML object behavior description into petri net models towards systematic development of embedded systems
    Autorzy:
    Szmuc, W.
    Szmuc, T.
    Data publikacji:
    2016
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    UML
    state machine
    event
    queue
    object
    Petri
    formal
    model
    maszyna stanów
    zdarzenie
    kolejka
    obiekt
    Pokaż więcej
    Źródło:
    International Journal of Microelectronics and Computer Science; 2016, 7, 2; 60-64
    2080-8755
    2353-9607
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach
    Autorzy:
    Kerkouche, E.
    Bourennane, E. B.
    Chaoui, A.
    Data publikacji:
    2018
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    embedded systems
    hardware-software codesign
    STARSoC tool
    UML
    model driven engineering
    Eclipse modelling project
    Pokaż więcej
    Źródło:
    e-Informatica Software Engineering Journal; 2018, 12, 1; 9-26
    1897-7979
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Formal analysis of use case diagrams
    Formalna analiza diagramów przypadków użycia
    Autorzy:
    Klimek, R.
    Szwed, P.
    Data publikacji:
    2010
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    UML
    przypadek użycia
    model formalny
    weryfikacja
    weryfikacja modelowa
    logika temporalna
    metoda tablic semantycznych
    use case
    formal model
    verification
    model checking
    temporal logic
    semantic tableau
    Pokaż więcej
    Źródło:
    Computer Science; 2010, 11; 115-131
    1508-2806
    2300-7036
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-27 z 27

      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

      Prześlij opinię

      Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

      Formularz