Filters
total: 4937
-
Catalog
- Publications 3278 available results
- Journals 25 available results
- Conferences 8 available results
- Publishing Houses 1 available results
- People 107 available results
- Inventions 54 available results
- Projects 25 available results
- Laboratories 2 available results
- Research Teams 1 available results
- Research Equipment 2 available results
- e-Learning Courses 364 available results
- Events 42 available results
- Open Research Data 1028 available results
displaying 1000 best results Help
Search results for: UML-S
-
Ecological Chemistry and Engineering S - Chemia i Inżynieria Ekologiczna S
Journals -
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...
-
Feminismo/s
Journals -
Bresil-s
Journals -
Feminismo-s
Journals -
Parlement[s]
Journals -
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,...
-
S&F-Scienzaefilosofia it
Journals -
F and S Science
Journals -
F and S Reports
Journals -
F and S Reviews
Journals -
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...
-
Zhurnal Nevrologii I Psikhiatrii imeni S S Korsakova
Journals -
ZHURNAL NEVROPATOLOGII I PSIKHIATRII IMENI S S KORSAKOVA
Journals -
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...
-
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.
-
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...
-
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...
-
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...
-
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ę...
-
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.
-
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....
-
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...
-
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...
-
Ricerche di S-Confine
Journals -
M S-MEDECINE SCIENCES
Journals -
Chlorido(4-morpholinecarbodithioato-k2S,S')(triphenylphosphine)nickel(II)
PublicationPrzeprowadzono syntezę oraz wyznaczono strukturę związku [Ni(C5H8NOS2)Cl(C18H15P)]. Tytułowy kompleks chloro(morfolinoditiokarbaminiano-S,S')(trifenylofosfina)-nikiel(II) posiada nieznacznie zniekształcony płaski kwadratowy rdzeń NiClS2P.
-
Tris(1-pyrrolidinylcarbodithioato-S,S')-cobalt(III) chloroform disolvate
PublicationTytułowy kompleks tris(1-pirolidynoditiokarbaminiano-S,S')-kobalt(III), będący disolwatem chloroformu zawiera Co(III) oktaedrycznie skoordynowany przez trzy reszty ditiokarbaminowe. Molekuły chloroformu zaangażowane są w tworzenie cząsteczkami kompleksu oddziaływań typu C-H...S
-
Chlorido(ethyldiphenylphosphine-P)(1-pyrrolidinecarbodithioato-S,S)nickel(II)
PublicationPrzedmiotem publikacji jest struktura krystaliczna tytułowego [NiCl{S2CN(CH2)4}Cl(C14H15P)]. Atom niklu jest w tym przypadku skoordynowany przez S,S-chelatującą resztę ditiokarbaminianową, cząsteczkę fosfiny, zaś geometrię koordynacyjną dopełnia atom chloru.
-
Wpływ wraków na środowisko na przykładzie s/s ''Stuttgart''
PublicationGłównym celem pracy doktorskiej była próba określenia charakteru i wielkości oddziaływania na środowisko zatopionego podczas II wojny światowej wraku statku s/s Stuttgart. W celu określenia stopnia zagrożenia dla środowiska wykonano analizy chemiczne i badania ekotoksykologiczne próbek wody morskiej, osadów powierzchniowych i rdzeni. Odpowiednio przygotowane próbki wody morskiej i osadów poddane zostały analizom w celu oznaczenia...
-
Developing the s factor
PublicationWzory IMO na mnożnik s (p-wo przetrwania statku z zatopionym przedziałem) abstrahują od czasu przetrwania, jak i falowania. Pokazano związek 'pierwotnego' mnożnika s z czasem przetwania na danym falowaniu oraz pokazano w jaki sposób przetransformować mnożnik s odpowiadający półgodzinnym doświadczeniom przewracania statku na mnożnik odpowiadający dłuższym przebiegom doświadczeń. Wydłużenie czasu doświadczeń nie ma drastycznego wpływu....
-
Surface sediments pollution due to shipwreck s/s “Stuttgart”: a multidisciplinary approach
PublicationShipwrecks may pose a serious source of pollution for marine ecosystems. For this reason, it is of great importance to perform a marine ecosystem risk assessment due to plausible wreck presence. One of elements of such an assessment is determining the state of the environment in the vicinity of the wreck. In the work presented, the results of studies on surface sediments samples collected around the s/s Stuttgart ship sunk during...
-
TRANSACTIONS OF THE CHARLES S PEIRCE SOCIETY
Journals -
Defence S and T Technical Bulletin
Journals -
Toxicity assessment of sediments associated with the wreck of s/s Stuttgart in the Gulf of Gdańsk (Poland)
PublicationPrzeprowadzono badania w pobliżu wraku s/s Stuttgart zalegającego przy Polskim wybrzeżu (Zatoka Gdańska) i stanowiącego źródło zanieczyszczenia w formie WWA i PCB. Przeprowadzono oznaczenia śladowych zanieczyszczeń organicznych oraz badania toksykologiczne aby oszacować ryzyko ze strony wraku i jego pozostałości. W wyniku badań można stwierdzić, że tylko siły grawitacyjne i kształt dna morskiego są czynnikami wpływającymi na transport...
-
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...
-
Develompent of Hanson`s wheel
PublicationPrzeanalizowano rozwój konstrukcji koła Hansona. Przedstawiono wyniki badań hałasu i oporu toczenia kolejnych wersji koła Hansona oraz opon referencyjnych. Zaprezentowano także wyniki drogowych badań hałasu toczenia samochdu Volvo 740 poruszającego się na kołach Hansona. Omówiono zalety i wady koła Hansona w porównaniu kołem ogumionym.
-
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ść...
-
Chlorido(1-pyrrolidinecarbodithioato-k2S,S')(triphenylphosphine)nickel(II)chloroform hemisolvate
PublicationTytułowy kompleks chloro(1-pirolidynoditiokarbaminiano-S,S')(trifenylofosfina)-nikiel(II), będący hemisolwatem chloroformu zawiera płaski rdzeń o składzie NiClS2P. Molekuły chloroformu oddziałują z kompleksem poprzez słabe wiązania C-H...S.
-
Molecular mechanism(s) of regulation(s) of c-MET/HGF signaling in head and neck cancer
Publication -
Crystal and molecular structure of bis(O,O'-diethyldithiophosphato-S,S')nickel(II): A redetermination
PublicationDoniesienie przedstawia ponownie wyznaczoną strukturę tytułowego, centrosymetrycznego kompleksu, [Ni{S2P(OC2H5)2}2]. Centralny rdzeń (S2P)2 jest płaski, co potwierdza wcześniejsze wyniki uzyskane przez McConnell'a i Kastalsky'ego, przy czym odchylenia standardowe są około siedmiokrotnie mniejsze oraz wyznaczono wszystkie pozycje atomów wodoru. W strukturze krystalicznej zaobserwowano róznież parę krótkich kontaktów HH (2.33 Å).
-
Boletin de Arte-UMA
Journals -
Low-energy (0.1 eV) electron attachment S?S bond cleavage assisted by Coulomb stabilization
Publication -
Bis(azobenzocrown ether)s-synthesis
PublicationSyntezowano nowe związki bisazobenzokoronowe różniące się wielkością makropierścienia i długością łańcucha łączącego oba pierścienie makrocykliczne. Związki te wykorzystano jako jonofory w membranach klasycznych i miniaturowych elektrod jonoselektywnych. Przeprowadzono również badania dotyczące kompleksowania soli litowców i berylowców w roztworze acetonitrylowym z wykorzystaniem spektrofotometrii UV-VIS oraz zbadano strukturę...
-
Ontologia usług sieciowych OWL-S.
PublicationRozwijająca się dziedzina agentów i usług sieciowych dojrzała do wypracowania standardów zapewniających wspólny sposób opisu, wywoływania i nadzoru wykonania tych serwisów. Propozycja takiego standardu jest opisywana w rozdziale ontologia OWL-S, bazująca na założeniach sieci sematycznej i będąca rozwinięciem oraz uporządkowaniem wcześniejszej propozycji znanej pod nazwą DAML+OIL oraz DAML-S.
-
Długoczasowa niezawodność detektorów klasy S.
PublicationDetektory alarmowe klasy S mają możliwość dopasowywania się do pracy w zmiennych warunkach oraz układy do samokontroli sprawności. Przedstawiono podwójnie i potrójnie zbalansowane detektory magnetyczne, detektory wibracji oraz kontaktowe i bezkontaktowe detektory stłuczenia szyby. Omówiono podstawowe parametry decydujące o niezawodności detektorów. Omówiono nowe elementy w architekturze detektorów wpływające na ich niezawodnośc...
-
GRSP`s fourth year in Poland.
PublicationThis paper gives an extensive run through of two projects of the GRSP initiative carried out by Shell to mark a decade of the companyłs contribution to the GAMBIT Programme. It brings some information about the activities of the Polish GRSP Committee in 2002, and about last year International Seminar GAMBIT 2002.