Temat: 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ł:: The method of designing a multiaspect diagnostic model
Metoda konstruowania wieloaspektowego modelu diagnostycznego
Autorzy:: Skupnik, D.
Data publikacji:: 2009
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: wieloaspektowy model diagnostyczny
UML
multiaspect diagnostic model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

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

Skocz do pozycji: 7.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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: 10.

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

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "UML model" wg kryterium: Temat