Best results in : Research Potential Pokaż wszystkie wyniki (3)
Search results for: inspekcje oprogramowania
-
Katedra Inżynierii Drogowej i Transportowej
Research PotentialKatedra 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
Research PotentialBadania 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
Research Potential* 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,...
Other results Pokaż wszystkie wyniki (7)
Search results for: inspekcje oprogramowania
-
Jakub Miler dr inż.
PeopleAcademic career: 2000: Master of Science - Gdansk University of Technology, Faculty of Electronics, Telecommunications and Informatics, thesis "Computer system for supporting risk management in a software engineering project", supervisor prof. Janusz Górski 2005: PhD - Gdansk University of Technology, Faculty of Electronics, Telecommunications and Informatics, thesis "A Method of Software Project Risk Identification and Analysis",...
-
Metoda wykrywania anomalii w wybranych modelach systemów informatycznych
PublicationW 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...
-
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...
-
Tool support for detecting defects in object-oriented models
PublicationArtykuł 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.
-
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.