Filters
total: 1194
-
Catalog
- Publications 686 available results
- Journals 4 available results
- Conferences 7 available results
- Publishing Houses 1 available results
- People 47 available results
- Inventions 54 available results
- Projects 7 available results
- Research Teams 1 available results
- e-Learning Courses 166 available results
- Events 33 available results
- Open Research Data 188 available results
displaying 1000 best results Help
Search results for: UML
-
Quality model for UML tools in application to UML tool selection and market analysis
PublicationJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
A Quality Model for UML tools
PublicationJakość narzędzi UML wpływa na efektywność wykonywania zadań związanych z modelowaniem systemów w procesie wytwarzania oprogramowania. Celem badań prezentowanych w tym referacie jest wyodrębnienie kryteriów jakości narzędzi UML. Omówiono rolę narzędzi UML w projekcie informatycznym, a następnie zaprezentowano szereg kryteriów jakości narzędzi UML wraz z aspektami oceny oraz opisem ankiety, która służy do oceny narzędzi względem...
-
Usability of UML modeling tools
PublicationNarzędzia wspomagające modelowanie w UML pełnią istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Badanie użyteczności tych narzędzi ma na celu poprawę produktywności oraz satysfakcji z ich użytkowania. W referacie zaprezentowano badania użyteczności za pomocą trzech metod: eksperymentalnego testowania efektywności, zapytań o aspekty użyteczności testowanych narzędzi oraz analitycznej metody GOMS (ang. Goals, Operators,...
-
Verification of the fit to user profiles for UML tools
PublicationDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
Development and validation of a HAZOP-based inspection of UML models
PublicationArtykuł prezentuje technikę inspekcji ukierunkowaną na wykrywanie defektów w modelach UML. Technika ta została opracowana poprzez adaptację HAZOP - metody szeroko stosowanej w dziedzinie systemów związanych z bezpieczeństwem. Wykorzystano podstawową koncepcję HAZOP (zastosowanie ogólnych słów kluczowych do wykrywania pełnej listy anomalii związanych z danym fragmentem modelu) do systematycznego wygenerowania list kontrolnych dla...
-
Rola fragmentów wyodrębnionych w języku UML 2
PublicationPrzedmiotem rozważań zaprezentowanych w niniejszej publikacji są zmiany oraz udoskonalenia związane z superstrukturą języka UML, wprowadzone wraz z wersją 2.0 tego standardu. W odróżnieniu od modyfikacji poczynionych w ramach poprzednich rewizji języka, zakres udoskonaleń związanych z przejściem pomiędzy wersjami 1.5 oraz 2.0 określić należy jako znaczny. W niniejszym referacie skoncentrowano się na jednej, ale bardzo znaczącej...
-
Automatyczne generowanie testów na podstawie modeli UML
PublicationRozdział stanowi wprowadzenie do problematyki automatycznej generacji przypadków testowych na podstawie dokumentacji wykonanej w UML. Zaprezentowano powiązania pomiędzy dokumentacją wykonaną w fazach analizy i projektowania systemu a dokumentacją testową, szersze ujęcie zagadnień automatycznego generowania testów, metody generowania przypadków testowych, wyniki podobnych prac (projekt AGEDIS, profil testowy UML) oraz dyskusję efektywności...
-
Język UML 2.0 w modelowaniu systemów informatycznych
PublicationKsiążka ''Język UML 2.0 w modelowaniu systemów informatycznych'' to szczegółowy opis najnowszej specyfikacji tego języka w kontekście zastosowania go w procesie wytwarzania oprogramowania. Zawiera omówienie elementów języka UML oraz zasad projektowania obiektowego. Przedstawia zastosowanie diagramów UML 2.0 oraz różnice pomiędzy modelowaniem analitycznym i biznesowym. Ponadto wyjaśnia podstawy metodyki RUP oraz prezentuje wybrane...
-
Using UML/WS-CDL for modelling negotiation scenarios
PublicationW celu usprawnienia realizacji przedsięwzięć ludzkich w Internecie potrzebne jest zdefiniowanie reguł i procedur komunikacji pomiędzy uczestnikami. Scenariusze przedsięwzięć mogą być wyrażane w językach opisu choreografii. Artykuł prezentuje metodologię tworzenia scenariuszy w języku WS-CDL oraz wyniki eksperymentów polegających na przeprowadzeniu negocjacji w Internecie z wykorzystaniem różnych scenariuszy negocjacyjnych.
-
Empirical evaluation of reading techniques for UML models inspection
PublicationArtykuł przedstawia eksperyment, w ramach którego porównane zostały trzy techniki czytania (ad hoc, UML-HAZOP oraz podejście scenariuszowe) zastosowane do inspekcji modeli obiektowych. UML-HAZOP jest techniką czytania wywodzącą się z dziedziny systemów krytycznych, związanych z bezpieczeństwem. W publikacji opisano technikę UML-HAZOP oraz jej różne warianty wykorzystane w eksperymencie. Przedstawiono projekt, sposób przeprowadzenia...
-
Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.
PublicationArtykuł opisuje eksperyment przeprowadzony w warunkach akademickich, z udziałem studentów Politechniki Gdańskiej. Celem eksperymentu było porównanie dwóch technik przeglądowych: inspekcji opartej na metodzie UML-HAZOP oraz zwykłego przeglądu niestrukturalnego. W ramach porównania obu technik dokonano oceny ich skuteczności i wydajności. Metodę UML-HAZOP poddano ponadto dodatkowej ocenie uczestników za pomocą anonimowych ankiet....
-
Experimental comparison of UML-HAZOP inspection and non-structured review
PublicationArtykuł przedstawia eksperyment przeprowadzony na Politechnice Gdańskiej mający na celu porównanie dwóch technik przeglądowych. Poszczególne rozdziały zawierają: ogólne omówienie tematyki przeglądów i inspekcji, przedstawienie metody UML-HAZOP, opis przebiegu eksperymentu oraz uzyskanych rezultatów.
-
Timing diagrams functionalities in information systems modeling with UML 2
PublicationArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Pseudostany w diagramach maszyny stanowej języka UML 2.0
PublicationKluczowymi pojęciami w odniesieniu do obiektowych baz danych są obiekty i ich klasy. Aspekt dynamiczny obiektów w systemach intensywnie wykorzystujących dane może być modelowany przy wykorzystaniu diagramów maszyn stanowych. Semantykę tego rodzaju diagramów w wersji 2.0 języka UML znacząco rozbudowano o szereg kategorii pojęciowych. Do najistotniejszych z nich należą pseudostany obiektów. Pozwalają one na precyzyjną specyfikację...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublicationArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Wybrane metody i narzędzia modelowania systemów informatycznych z użyciem języka UML
PublicationRozdział prezentuje przykład technologii modelowania systemów informatycznych opartej na podejściu obiektowym w jednolitym środowisku, począwszy od Zunifikowanego Języka Modelowania (UML), poprzez metodykę Rational Unified Process (RUP), po aplikację Rational Software Modeler (RSM).
-
Ocena funkcjonalna środowisk modelowania UML jako składowa wielokryterialnej oceny technologii informatycznych
PublicationW artykule przedstawiono koncepcję systemu wieloagentowego do oceny technologii informatycznych stosowanych do wytwarzania oprogramowania. Jednym z komponentów takiego rozwiązania ma być system ekspertowy bazujący na wiedzy. Jako, że niezbędnym etapem prac będzie przygotowanie bazy wiedzy, konieczny będzie w pierwszej kolejności dobór adekwatnych parametrów. Autor prezentuje wyniki pierwszych, wstępnych badań nad środowiskami do...
-
Strukturuvannaa epoksi-oligoesternih sumiščej v prisutnosti peroksidnoï pohidnoï epoksidnoï smoli ED-20
PublicationW pracy przedstawiono wyniki badań sieciowania mieszanin epoksyoligoestrów opartych na żywicy epoksydowej ED-20 (w tym modyfikowanej) oraz m.in. na oligoestroakrylanie TGM-3, przy czym jako utwardzacz zastosowano polietylenopoliaminę (PEPA).Usieciowane tworzywa analizowano pod kątem wpływu składu mieszaniny, ilości poszczególnych składników, jak również czasu i temperatury prowadzenia procesu na zawartość frakcji żelowej oraz twardość...
-
Boletin de Arte-UMA
Journals -
Schema mining in XML documents.
PublicationW artykule przedstawiono algorytm COBWEB S+T służący do wywodzenia schematów z kolekcji dokumentów XML. Algorytm wykorzystuje model danych semistrukturalnych oraz alorytm COBWEB służący do grupowania koncepcyjnego. W artykule zaprezentowano również wyniki testów działania algorytmu.
-
Rola i funkcje diagramów harmonogramowania w modelowaniu systemów informatycznych z wykorzystaniem języka UML 2
PublicationArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Kuml: Årbog for Jysk Arkæologisk Selskab
Journals -
Polyurethane nanocomposites obtained with organically modified montmorillonites.
PublicationW pracy przedstawiono wyniki badań dotyczące analizy właściwości i struktury nanokompozytu montmorylonit/poliuretan. Przeprowadzono pomiary właściwości mechanicznych i badania strukturalne z wykorzystaniem dyfrakcji promieni rentgenowskich i transmisyjnej mikroskopii elektronowej.
-
Computational modelling of the modification of epoxy resins
PublicationSymulacja komputerowa właściwości fizycznych sieci żywic epoksydowych (DGEBA/DDM) modyfikowanych związkami akrylowymi przy użyciu programu Cheops® MillionZillion Software.
-
Problematyka wywodzenia schematów z dokumentów XML.
PublicationArtykuł prezentuje motywacje i podejścia do wywodzenia informacji opisujących budowę dokumentów XML. Omówiono semistrukturalny model danych jego związki z modelem danych XML oraz możliwości adaptacji metod wywodzenia schematów danych semistrukturalnych do potrzeb przetwarzania dokumentów XML. Przedstawiono przegląd dotychczasowych prac nad metodami i narzędziami wywodzenia schematów z dokumentów i zbiorów dokumentów XML.
-
A complete example of experience konowledge structure on XML
PublicationPrzedstawiono kompletny przykład reprezentacji struktury wiedzy w języku XML. Omówiono cztery podstawowe składniki tej reprezentacji: dane, funkcje, ograniczenia i zasady.
-
XML-based monitoring and its implementation in Perl
PublicationArtykuł ten omawia w sposób ogólny problem monitorowania systemów informacyjnych oraz opisuje system monitoringu wytworzony w firmie Lufthansa Systems w celu monitorowania systemów informatycznych swoich klientów. Artykuł koncentruje się głównie na XMLowym mechaniźmie przetwarzania danych użytym w tym systemie, opisuje on jednak również skrótowo pozostałe zasady jego działania. Zostały również omówione podstawy przetwarzania danych...
-
The Role of FLT3 Kinase as an AML Therapy Target
Publication...
-
Tímarit um menntarannsóknir
Journals -
Wykorzystanie WAP i WML w usługach bezprzewodowych.
PublicationOpisano schemat transakcji przy wykorzystaniu protokołu WAP. Zaprezentowano język znaczników WML dla urządzeń bezprzewodowych. Przedstawiono narzędzia służące do tworzenia aplikacji opartych o protokół WAP. Wskazano na kirunki rozwoju protokołu i inne standardy o podobnych funkcjach.
-
Using XML for implementing set of experience knowledge structure
PublicationPrzedstawiono implementację struktury wiedzy na platformie języka XML. Omówiono zalety implementacji w XML.
-
Wykorzystanie xml do reprezentacji cyfrowych dokumentów muzycznych
PublicationW bibliotekach cyfrowych dokumentów muzycznych potrzebny jest format pozwalający na wymianę danych różnego typu związanych z dokumentem muzycznym. Otwarty format XML posiada wiele zalet, które pozwalają na zastosowanie go w tej bibliotece. W rozdziale zwrócono uwagę na możliwość wykorzystania formatów MPEG-7, MARCXML oraz MusicXML do opisania różnorodnych aspektów muzyki. Połączenie wszystkich informacji związanych z dokumentem...
-
Krzysztof Goczyła prof. dr hab. inż.
PeopleKrzysztof Goczyła, full professor of Gdańsk University of Technology, computer scientist, a specialist in software engineering, knowledge engineering and databases. He graduated from the Faculty of Electronics Technical University of Gdansk in 1976 with a degree in electronic engineering, specializing in automation. Since then he has been working at Gdańsk University of Technology. In 1982 he obtained a doctorate in computer science...
-
Wyszukiwanie artykułów medycznych w MEDLINE z wykorzystaniem UMLS
Publication -
Design of standard cells library for UMC L130E FSG process
Publication -
Transcriptomic and proteomic analysis of mouse radiation-induced acute myeloid leukaemia (AML)
Publication -
Palaeolithic Big Game Hunting at HP766 in Wadi Umm Rahau, Northern Sudan
Publication -
Semantic URL Analytics to Support Efficient Annotation of Large Scale Web Archives
PublicationLong-term Web archives comprise Web documents gathered over longer time periods and can easily reach hundreds of terabytes in size. Semantic annotations such as named entities can facilitate intelligent access to the Web archive data. However, the annotation of the entire archive content on this scale is often infeasible. The most efficient way to access the documents within Web archives is provided through their URLs, which are...
-
Badania i analiza właściwości szerokopasmowej sieci dostępowej UMC 1000E firmy AFC
PublicationPrzeanalizowano szerokopasmową sieć dostępową UMC 1000E firmy AFC. Opracowano metodologię badań instalacji pilotowej sieci z systemem UMC 1000E i przeprowadzono badania. Opracowano wyniki badań i wnioski szczegółowe dotyczące architektury, dostępnych usług, pojemności systemu i jakości obsługi.
-
Zastosowanie XML w przetwarzaniu i wizualizacji informacji z radilogicznych baz danych
PublicationW artykule zaprezentowano propozycję odtwarzania struktur danych zgodnych z modelem informacyjnym DICOM na podstawie plików generowanych przez systemy akwizycji obrazów w medycynie.
-
Definition gleichartiger Dokumententypen zur Verbesserung der Erkennbarkeit und ihre XML-Beschreibung
PublicationPrzedstawiono krokowe podejście do projektowania interaktywnych, elektronicznych dokumentów z ich analogowej postaci. Postać analogowa rozumiana jest jako typowa kartka papieru, natomiast jako interaktywny, elektroniczny dokument rozumiemy dokument zdefiniowany w formacie XML przystępnym do przetwarzania przez dowolną przeglądarkę internetową. Wprowadza się pojęcie - cyklu życia dokumentu cyfrowego - składającego się z faz zawierających...
-
Kras mutations and PU.1 promoter methylation are new pathways in murine radiation-induced AML
Publication -
Leukemiogeneza oraz współczesne metody terapii przeciwnowotworowych na przykładzie ostrej białaczki szpikowej - AML
PublicationNie dotyczy
-
Static magnetic multipole susceptibilities of the relativistic hydrogenlike atom in the ground state: Application of the Sturmian expansion of the generalized Dirac-Coulomb Green function
PublicationWe study far- and near-field magnetic and electric multipole moments induced in the ground state of the Dirac one-electron atom placed in a weak 2L-pole magnetostatic field. The analysis is carried out within the framework of the first-order Rayleigh-Schrödinger perturbation theory, with the use of the Sturmian expansion of the generalized Dirac-Coulomb Green function [Szmytkowski, J. Phys. B 30, 825 (1997);J. Phys. B 30, 2747(E)...
-
Marian Grabowski, Pierwociny stworzenia. Pomiędzy filozofią a fizyką, Wydawnictwo Naukowe UMK, Toruń 2019 (rec.)
Publication -
Definicje schematów danych jako specjalizowane dialekty językowe na przykładzie XML Schema dla sektora energetycznego
PublicationRozdział przedstawia zagadnienie opracowania zbioru reguł (schematu) dla dokumentów XML i omawia celowość tworzenia takich schematów na przykładzie XML Schema dla sieci elektroenergetycznej.
-
Self-Tuning Dead-Time Compensation Method for Voltage-Source Inverters
PublicationPrzedstawiono nową, kompleksową metodę kompensacji zniekształceń napięcia wyjściowego falownika z modulacją szerokości impulsów. Proponowana metoda umożliwia automatyczne dopasowanie parametrów charakterystyki kompensacyjnej do aktualnej konfiguracji falownika i obciążenia, np. po zmianie przewodu łączącego falownik z obciążeniem. Adaptacja do nowych warunków polega na dostrajaniu wartości parametrów zależności opisującej napięcie...
-
Ekonomična efektivnist` teplovoï pompi v sistemi opalennâ = Economical efficiency of heat pump system in heating system
PublicationW artykule opisano wynik porównawczych obliczeń kosztów ogrzewania budynku jednorodzinnego. Porównano koszty konwencjonalnego ogrzewania z kotłem olejowym jako źródłem ciepła z kosztami ogrzewania układem hybrydowym, w którym współpracują ze sobą dwa żródła ciepła: konwencjonalny kocioł olejowy i sprężarkowa pompa ciepła. Wykonano studium parametryczne kosztów ogrzewania z wykorzystaniem metody kosztów narastających.
-
The Influence of Limiters UEL and OEL (The power angle, stator's current and excitation current) ot the possibility of voltage collapse development
PublicationVoltage stability has been a major concern for power system utilities because of event of voltage collapses in the recent past. Sometimes, power system events have shown the need for generators to operate in the overexcited and underexcited region to support stable operation. Modern excitation systems include devices for controlling or limiting machine terminal voltage (overvoltage limiters), volts per hertz ratio (V/Hz limiters),...
-
Antitumor triazoloacridinone C-1305 as a potent FLT3 tyrosine kinase inhibitor in human acute myeloid leukemia (AML) cells.
PublicationJednym z defektów molekularnych u pacjentów z ostrą białaczką szpikową (AML) jest konstytutywna aktywacja receptoroweej kinazy tyrozynowj FLT3.Najczęstszą mutacją genu kodującego FLT3 jest wewnętrzna tandemowa duplikacja ITD we fragmencie okołobłonowym receptora. W pracy zbadano, czy przeciwnowotworowy triazoloakrydon C-1305 może być inhibitorem kinazy tyrozynowej FLT3. Badania przeprowadzono na dwóch liniach komórkowych białaczek...