Wyszukiwarka
Filtry
wszystkich: 3
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (3)
Wyniki wyszukiwania dla: INSPEKCJE OPROGRAMOWANIA
-
Katedra Inżynierii Drogowej i Transportowej
Potencjał BadawczyKatedra Inżynierii Drogowej i Transportowej jest jedną z najstarszych katedr Politechniki Gdańskiej. Prowadzi prace naukowo-badawcze obejmujące szereg zagadnień związanych z budową dróg, autostrad i lotnisk oraz w zakresie transportu, ruchu drogowego oraz bezpieczeństwa ruchu drogowego.
-
Katedra Elektrochemii, Korozji i Inżynierii Materiałowej
Potencjał BadawczyBadania realizowane przez pracowników Katedry obejmują w szczególności: zjawiska i procesy elektrochemiczne, podstawy korozji i zabezpieczenie przed korozją, inżynierię materiałowa, fizykochemię powierzchni. W Katedrze Elektrochemii, Korozji i Inżynierii Materiałowej realizowanych jest szereg kierunków związanych z badaniami podstawowymi jak i techniczno-technologicznymi. Głównymi obszarami działalności naukowej są: badania mechanizmu...
-
Katedra Geotechniki, Geologii i Budownictwa Morskiego
Potencjał Badawczy* badania teoretyczne i doświadczalne oraz analizy numeryczne w Mechanice Gruntów; * badania laboratoryjne i polowe gruntów; * metody wzmacniania podłoża gruntowego; * “zieloną geotechnikę” z zastosowaniem ekologicznych materiałów, technologii i zagospodarowaniem produktów ubocznych; * badania teoretyczne, doświadczalne oraz zagadnienia praktyczne fundamentowania w odniesieniu do fundamentów bezpośrednich i głębokich, tunelowania,...
Pozostałe wyniki Pokaż wszystkie wyniki (7)
Wyniki wyszukiwania dla: INSPEKCJE OPROGRAMOWANIA
-
Jakub Miler dr inż.
OsobyKariera akademicka: 2000: mgr inż. Wydział ETI, Politechnika Gdańska, praca pt. "Computer system for supporting risk management in a software engineering project", promotor prof. Janusz Górski 2005: dr inż. Wydział ETI, Politechnika Gdańska, rozprawa pt. "A Method of Software Project Risk Identification and Analysis", obroniona z wyróżnieniem, dziedzina nauki techniczne, dyscyplina informatyka, promotor prof. Janusz Górski Zainteresowania...
-
Empirical evaluation of reading techniques for UML models inspection
PublikacjaArtykuł 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...
-
Metoda wykrywania anomalii w wybranych modelach systemów informatycznych
PublikacjaW pracy zaproponowano nową metodę inspekcji ukierunkowaną na wykrywanie defektów w diagramach UML powstających we wczesnych etapach procesu wytwarzania oprogramowania. Mechanizm detekcji defektów został oparty na pomyśle wykorzystania podejścia HAZOP (ang. Hazard and Operability Study) znanego z dziedziny systemów związanych z bezpieczeństwem. Podstawowymi elementami tego mechanizmu są systematyka procesu kontroli i wykrywania...
-
Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.
PublikacjaArtykuł 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....
-
Tool support for detecting defects in object-oriented models
PublikacjaArtykuł przedstawia nową metodę analityczną UML-HAZOP oraz narzędzie wspomagające jej stosowanie. Metoda ukierunkowana jest na wykrywanie defektów we wczesnych fazach wytwarzania oprogramowania i koncentruje się na powszechnie stosowanych modelach opartych na metodyce obiektowej.