Informacja

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

Wyszukujesz frazę "UML" wg kryterium: Temat


Tytuł:
Modelowanie obiektowe w procesie wytwarzania systemu informatycznego wspierającego badania i projektowanie kamiennych regeneratorów ciepła
Object modeling in the process of creating an informatics system supporting the researching designing of stone heat regenerators
Autorzy:
Rogacki, P.
Mueller, W.
Weres, J.
Data publikacji:
2007
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
kamienny regenerator ciepła
modelowanie UML
stone heat regenerator
UML modeling
Pokaż więcej
Źródło:
Inżynieria Rolnicza; 2007, R. 11, nr 2 (90), 2 (90); 257-263
1429-7264
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
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
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
Pokaż więcej
Źródło:
Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach; 2017, 40, 113; 21-34
2082-5501
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 42-44
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metodyka wykorzystania UML w projektowaniu mechatronicznym
Using UML in Design of Mechatronic Systems
Autorzy:
Mrozek, Z.
Data publikacji:
2002
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie mechatroniczne
język UML
mechatronika
mechatronic systems
Unified Modelling Language (UML)
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2002, R. 48, nr 1, 1; 25-28
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
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
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ł
Tytuł:
Application of UML modelling for analysis of safety integrity level in railway traffic control systems
Zastosowanie języka UML do badania poziomu nienaruszalności bezpieczeństwa systemów sterowania ruchem kolejowym
Autorzy:
Marzec, M.
Uhl, T.
Barszcz, T.
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
ruch kolejowy
poziom nienaruszalności bezpieczeństwa
modelowanie UML
railway transport
safety integrity level
UML modeling
Pokaż więcej
Źródło:
Diagnostyka; 2011, 4(60); 21-26
1641-6414
2449-5220
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie języka UML do modelowania złożonych systemów komputerowych
Application of UML language for modelling of complex computer systems
Autorzy:
Świder, J.
Hetmańczyk, M.
Data publikacji:
2011
Wydawca:
Politechnika Śląska
Tematy:
język UML
złożone systemy komputerowe
system komputerowy KSSiDNR
UML language
complex computer systems
KSSiDNR system
Pokaż więcej
Źródło:
Wybrane Problemy Inżynierskie; 2011, 2; 339-344
2083-1021
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontologia wiedzy ukrytej dla działu serwisowego w przedsiębiorstwie produkcyjnym
An ontology of tacit knowledge for the service department in a manufacturing company
Autorzy:
Dudek, A.
Data publikacji:
2017
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
ontologia
wiedza ukryta
notacja UML
słownik
ontology
tacit knowledge
UML approach
word taxonomy
Pokaż więcej
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2017, 11, 16; 7-28
1896-396X
2082-8349
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Transformacja diagramów aktywności UML 2.0 do sieci Petriego w systemach sterowania binarnego
Transformation of UML 2.0 activity diagrams into Petri nets in binary control systems
Autorzy:
Grobelny, M.
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
diagramy aktywności UML 2.0
sieci Petriego
UML 2.0 activity diagrams
Petri nets
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 498-500
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Specyfikacja behawioralna dla rekonfigurowalnych sterowników logicznych z wykorzystaniem diagramów maszyny stanowej z języka UML 2.0
A behavioral specification for reconfigurable logic controllers using UML 2.0 state machine diagrams
Autorzy:
Bazydło, G.
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
UML
specyfikacja behawioralna
statechart
behavioral specification
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 21-23
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
Podstawy modelowania georeferencyjnych baz danych
The basics of georeference database modelling
Autorzy:
Parzyński, Z.
Data publikacji:
2010
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
modelowanie baz danych
język UML
normy ISO
dyrektywa INSPIRE
databases modeling
UML notation
ISO standards
INSPIRE directive
Pokaż więcej
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2010, 21; 315-326
2083-2214
2391-9477
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
Automatyzacja procesu projektowania urządzeń sterowania ruchem kolejowym
Automation of the design process for railway traffic control devices
Autorzy:
Kochan, A.
Wontorski, P.
Data publikacji:
2016
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
automatyzacja projektowania srk
systemy CAD
modelowanie UML
design automation of railway traffic control
CAD
UML
Pokaż więcej
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2016, 3(110); 111-122
1231-9171
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
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ł
Tytuł:
Język SysML w inżynierii wymagań
SysML Language in Requirements Engineering
Autorzy:
Pańkowska, Małgorzata
Data publikacji:
2013
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Język UML
Modelowanie systemów informatycznych
Systemy informatyczne
Computer system
Information system modeling
Unified Modeling Language (UML)
Pokaż więcej
Źródło:
Studia Ekonomiczne; 2013, 128; 91-102
2083-8611
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 508-510
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Porównanie efektywności składowania modeli UML w wybranych technologiach bazodanowych
Storage efficiency comparison of UML models in selected database technologies
Autorzy:
Filatov, Andrii
Flis, Paweł
Pańczyk, Beata
Data publikacji:
2019
Wydawca:
Politechnika Lubelska. Instytut Informatyki
Tematy:
UML
MongoDB
Neo4J
PostreSQL
PostgreSQL
Pokaż więcej
Źródło:
Journal of Computer Sciences Institute; 2019, 12; 193-198
2544-0764
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wprowadzenie do inżynierii oprogramowania i języka UML
Autorzy:
Mrozek, Zbigniew
Współwytwórcy:
Małopolska Wyższa Szkoła Zawodowa im. Józefa Dietla (Kraków). Wydawnictwo Abaton
Data publikacji:
2011
Wydawca:
Kraków : Wydawnictwo Abaton : Małopolska Wyższa Szkoła Zawodowa im. Józefa Dietla
Tematy:
UML (język programowania)
Pokaż więcej
Źródło:
Biblioteka Narodowa
Dostawca treści:
Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
Książka
Tytuł:
UML i wzorce projektowe : analiza i projektowanie obiektowe oraz iteracyjny model wytwarzania aplikacji
Autorzy:
Larman, Craig
Współwytwórcy:
Kruchten, Philippe. Przedm.
Helion
Walkowska, Justyna. Tł.
Data publikacji:
cop. 2011
Wydawca:
Gliwice : Wydawnictwo Helion, cop. 2011
Tematy:
UML (język programowania)
Pokaż więcej
Źródło:
Biblioteka Narodowa
Dostawca treści:
Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
Książka
Tytuł:
UML profiles for architecture description of an integration
Profile UML do opisu architektury platformy integracyjnej
Autorzy:
Górski, T.
Data publikacji:
2013
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
integration
UML profiles
architecture of information system
mediation flows
integracja
profile UML
architektura systemów informatycznych
przepływy mediacyjne
Pokaż więcej
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2013, 62, 2; 43-56
1234-5865
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Krajobraz jako nośnik danych przestrzennych. Próba zastosowania Dyrektywy INSPIRE do zapisów polityki krajobrazowej Polski
Landscape as a carrier of spatial data. Attempts to apply INSPIRE Directive in provisions of Poland’s landscape policy
Autorzy:
Salata, T.
Myga-Piątek, U.
Data publikacji:
2015
Wydawca:
Polskie Towarzystwo Geograficzne
Tematy:
polityka przestrzenna
polityka krajobrazowa
dyrektywa INSPIRE
dane przestrzenne
notacja UML
landscape policy
spatial policy
Inspire directive
spatial data
UML notation
Pokaż więcej
Źródło:
Prace Komisji Krajobrazu Kulturowego; 2015, 30; 71-86
1896-1460
2391-5293
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przydatność języka Gello i standardu RIM do obiektowego modelowania systemów medycznych
Usability of Gello and RIM for the object-oriented modeling of medical systems
Autorzy:
Kosiuczenko, P.
Data publikacji:
2009
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
HL7
RIM
Gello
UML
medycyna
ścieżki kliniczne
Pokaż więcej
Źródło:
Biuletyn Instytutu Systemów Informatycznych; 2009, 4; 29-33
1508-4183
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Doskonalenie systemu zarządzania reklamacjami producenta urządzeń fiskalnych
Improving complaints management system manufacturer of fiscal devices
Autorzy:
Milewska, E.
Data publikacji:
2018
Wydawca:
Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:
obsługa zgłoszeń
BPMN
ERD
UML
application handling
Pokaż więcej
Źródło:
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2018, 117; 321-334
1641-3466
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
RT-UML in modeling of multimedia applications
RT-UML w modelowaniu aplikacji multimedialnych
Autorzy:
Cichoń, P.
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
aplikacja multimedialna
UML
czas rzeczywisty
modelowanie
RT-UML
synchronizacja
zdarzenia czasowe
multimedia application
real-time
modeling
timed events
synchronization
Pokaż więcej
Źródło:
Computer Science; 2007, 8, Spec. Ed; 11-22
1508-2806
2300-7036
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
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ł
Tytuł:
Struktura i wymagania normy PN-EN ISO 14001:2015-09 P jako baza do określania elementów zunifikowanego języka modelowania UML
Autorzy:
Chomczyk, Michał Adam
Chomczyk, Zbigniew
Data publikacji:
2019-05-12
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
system zarządzania środowiskowego
język modelowania UML
pakiet
klasa
obiekt
Pokaż więcej
Źródło:
Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach; 2017, 41, 114; 251-262
2082-5501
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fixing Design Inconsistencies of Polymorphic Methods Using Swarm Intelligence
Autorzy:
George, Renu
Samuel, Philip
Data publikacji:
2021
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
UML models
software design inconsistency
polymorphism
particle swarm optimization
Pokaż więcej
Źródło:
e-Informatica Software Engineering Journal; 2021, 15, 1; 7--27
1897-7979
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wprowadzenie do modelowania w języku UML
Introduction to UML modeling
Autorzy:
Szynalski, Konrad
Różański, Dawid
Data publikacji:
2022
Wydawca:
Wrocławska Wyższa Szkoła Informatyki Stosowanej Horyzont
Tematy:
UML
modelowanie
zunifikowany język modelowania
modeling
unified modeling language
Pokaż więcej
Źródło:
Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka; 2022, 9, 1; 31--37
2082-9892
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements
Autorzy:
Iqbal, Saqib
Al-Azzoni, Issam
Allen, Gary
Khan, Hikmat Ullah
Data publikacji:
2020
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
use case
modeling
UML
requirements engineering
functional requirement
Pokaż więcej
Źródło:
e-Informatica Software Engineering Journal; 2020, 14, 1; 97-115
1897-7979
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Secured Workstation to Process the Data of Different Classification Levels
Autorzy:
Zieliński, Z.
Furtak, J.
Chudzikiewicz, J.
Stasiak, A.
Brudka, M.
Data publikacji:
2012
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
cryptographic protection
multilevel security
software design
UML
virtualization
Pokaż więcej
Źródło:
Journal of Telecommunications and Information Technology; 2012, 3; 5-12
1509-4553
1899-8852
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Obsługa wyjątków w maszynie stanowej UML realizowanej w mikrosystemach cyfrowych
Exception handling in a state machine realised as digital microsystems
Autorzy:
Bazydło, G.
Adamski, M.
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
UML
sterownik
mikrosystem cyfrowy
Verilog
FPGA
reconfigurable controller
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 728-731
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling
Transformacja diagramów aktywności UML 2.x do interpretowanych sieci Petriego sterowania w specyfikacji behawioralnej sprzętu
Autorzy:
Grobelny, M.
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:
sieci Petriego
diagramy aktywności UML
transformacja
sterowanie
specyfikacja behawioralna sprzętu
Petri nets
UML activity diagrams
transformation
control process
hardware behavioural modelling
Pokaż więcej
Źródło:
Prace Instytutu Elektrotechniki; 2011, 251; 87-95
0032-6216
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
Hierarchy problem in transformation of UML 2.x Activity Diagrams into Control Interpreted Petri Nets
Autorzy:
Grobelny, M.
Grobelna, I.
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
diagramy aktywności UML
sieci Petriego sterowania
modelowanie behawioralne
metody formalnej weryfikacji
UML activity diagrams
control Petri nets
behavioral modelling
formal verification methods
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 729-732
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Adaptacja technologii MDA do budowy systemu geoinformacyjnego na poziomie gminy
The adaptation of the MDA technology to build the geoinformation system at the commune level
Autorzy:
Chojka, A.
Data publikacji:
2009
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
GIS
gmina
INSPIRE
MDA
system geoinformacyjny
UML
commune
geoinformation system
Pokaż więcej
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2009, 19; 47-57
2083-2214
2391-9477
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
UML Modelling in Rigorous Design Methodology for Discrete Controllers
Autorzy:
Łabiak, G.
Adamski, M.
Doligalski, M.
Tkacz, J.
Bukowiec, A.
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
UML modelling
binary controller
decomposition
digital synthesis
formal analysis
verification
Pokaż więcej
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 1; 27-34
2300-1933
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie SyMaP do tworzenia bazy danych przestrzennych fortyfikacji
Using SyMaP to create Spatial Databases of Fortifications
Autorzy:
Rudowicz-Nawrocka, J.
Woźniak, M.
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Informacji Przestrzennej
Tematy:
baza danych przestrzennych
SyMaP
fortyfikacje
UML
XML
spatial database
fortifications
Pokaż więcej
Źródło:
Roczniki Geomatyki; 2012, 10, 3; 117-123
1731-5522
2449-8963
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Business modeling in the process of information systems development
Autorzy:
Tańska, Halina
Współwytwórcy:
Uniwersytet Warmińsko-Mazurski w Olsztynie. Wydział Matematyki i Informatyki. Katedra Multimediów i Grafiki Komputerowej
Gozdek, Jerzy. Tł.
Data publikacji:
2011
Tematy:
UML (język programowania)
Zarządzanie procesami biznesowymi
Pokaż więcej
Źródło:
Biblioteka Narodowa
Dostawca treści:
Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
Artykuł
Tytuł:
Control system of a multifunctional tester for electronically protected documents
System sterowania wielofunkcyjnego urządzenia do testowania dokumentów z zabezpieczeniem elektronicznym
Autorzy:
Neska, M.
Majcher, A.
Przybylski, J.
Data publikacji:
2013
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
testowanie produktów
układy RFID
zabezpieczenia dokumentów
obciążenie udarowe
obciążenie ścierne
diagram aktywności UML
product testing
RFID systems
document protection
impact load
abrasive load
UML activity diagram
Pokaż więcej
Źródło:
Pomiary Automatyka Robotyka; 2013, 17, 2; 239-244
1427-9126
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie systemu elektroenergetycznego z użyciem standardu CIM IEC61970
Power system modeling based on the CIM standard IEC61970
Autorzy:
Rzepecki, A.
Data publikacji:
2015
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
IEC61970
modelowanie systemu elektroenergetycznego
CIM
UML
power system modeling
Pokaż więcej
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2015, 3; 47-50
2083-0157
2391-6761
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych
UML activity diagrams in design of reconfigurable logic controllers
Autorzy:
Grobelny, M.
Grobelna, I.
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
activity diagrams
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 596-598
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
Autorzy:
Doligalski, M.
Adamski, M.
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
logic controller
dual specification
hierarchical Petri net
UML
state machine diagram
Pokaż więcej
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 1; 43-48
2300-1933
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Klasyfikacja błędów konceptualnych, popełnianych przez studentów kierunku informatyka w trakcie modelowania i projektowania systemów informatycznych
Autorzy:
Statkiewicz, Michał
Współwytwórcy:
Susłow, Walery
Data publikacji:
2010
Tematy:
Systemy informatyczne - projekty - błędy
UML (język programowania)
Pokaż więcej
Źródło:
Biblioteka Narodowa
Dostawca treści:
Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
Artykuł
Tytuł:
Applications of implementation diagrams in system infrastructure modeling
Autorzy:
Wrycza, Stanisław (1949- )
Współwytwórcy:
Uniwersytet Gdański. Wydział Zarządzania. Katedra Informatyki Ekonomicznej
Marcinkowski, Bartosz
Maślankowski, Jacek (informatyk)
Data publikacji:
2014
Tematy:
Systemy informatyczne - stosowanie - gospodarka
UML (język programowania)
Pokaż więcej
Źródło:
Biblioteka Narodowa
Dostawca treści:
Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
Artykuł
Tytuł:
Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML
Use of history pseudostates for modeling the emergency situation in a UML state machine
Autorzy:
Bazydło, G.
Adamski, M.
Stefanowicz, Ł.
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
UML
maszyna stanów
pseudostan historii
sterownik logiczny
state machine
history pseudostate
logic controller
Pokaż więcej
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 7, 7; 513-515
0032-4140
Dostawca treści:
Biblioteka Nauki
Artykuł

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