Wszystkie pola: UML model - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: UML Simulation of a Topology Configuration Model
Autorzy:: Zieliński, Z.
Stasiak, A.
Dąbrowski, W.
Data publikacji:: 2012
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: configuration topology
system modeling
UML model simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Synteza behawioralna sterowników rekonfigurowalnych na podstawie modelu maszyny stanowej UML
Behavioural synthesis of reconfigurable controllers based on UML state machine model
Autorzy:: Bazydło, G.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
rekonfigurowalny sterownik
Verilog
FPGA
reconfigurable controller; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Projektowanie strukturalnych programów dla sterowników PLC na podstawie modelu maszyny stanowej UML
Design of PLC structured programs from UML state maschine model
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
PLC
statechart; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: UML Verification with Verics
Autorzy:: Niewiadomski, A.
Penczek, W.
Data publikacji:: 2007
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: model checking
UML
unified modeling language
VerICS; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "UML model" wg kryterium: Wszystkie pola