Politechnika Warszawska - Centralny System Uwierzytelniania
Strona główna

( Przedmioty zaawansowane obieralne )-Systemy informacyjno-decyzyjne-mgr.-EITI (grupa przedmiotów zdefiniowana przez Wydział Elektroniki i Technik Informacyjnych)

Jednostka: Wydział Elektroniki i Technik Informacyjnych Zestaw przedmiotów, który widzisz poniżej został zdefiniowany przez tę jednostkę. Jednostka ta nie musi mieć jednak związku z organizacją wymienionych przedmiotów (jednostką odpowiedzialną za organizację przedmiotu jest jednostka wymieniona w odpowiedniej kolumnie w tabeli poniżej). Więcej o tym przeczytasz w Pomocy.
Grupa przedmiotów: ( Przedmioty zaawansowane obieralne )-Systemy informacyjno-decyzyjne-mgr.-EITI
wybierz inną grupę zobacz plany zajęć tej grupy
Filtry
Zaloguj się, aby uzyskać dostęp do dodatkowych opcji

Konkretniej - pokazuj tylko te przedmioty, dla których istnieje otwarta rejestracja taka, że możesz w jej ramach zarejestrować się na przedmiot.

Dodatkowo pokazywane są również te przedmioty, na które jesteś już zarejestrowany (lub składałeś prośbę o zarejestrowanie).

Jeśli chcesz zmienić te ustawienia na stałe, edytuj swoje preferencje w menu Mój USOSweb.
Legenda
Jeśli przedmiot jest prowadzony w danym cyklu dydaktycznym, to w odpowiedniej komórce pojawi się koszyk rejestracyjny. Ikona koszyka zależy od tego, czy możesz się rejestrować na dany przedmiot.
niedostępny (zaloguj się!) - nie jesteś zalogowany
niedostępny - aktualnie nie możesz się rejestrować
zarejestruj - możesz się zarejestrować
wyrejestruj - możesz się wyrejestrować (lub wycofać prośbę)
prośba - złożyłeś prośbę o zarejestrowanie (i nie możesz jej już wycofać)
zarejestrowany - jesteś pomyślnie zarejestrowany (i nie możesz się wyrejestrować)
Kliknij na ikonę "i" przy koszyku, aby uzyskać dodatkowe informacje.

2012Z - rok akademicki 2012/2013 - sem. zimowy
2013L - rok akademicki 2012/2013 - sem. letni
2013Z - rok akademicki 2013/2014 - sem. zimowy
2014L - rok akademicki 2013/2014 - sem. letni
2014Z - rok akademicki 2014/2015 - sem. zimowy
2015L - rok akademicki 2014/2015 - sem. letni
2015Z - rok akademicki 2015/2016 - sem. zimowy
2016L - rok akademicki 2015/2016 - sem. letni
2016Z - rok akademicki 2016/2017 - sem. zimowy
2017L - rok akademicki 2016/2017 - sem. letni
2017Z - rok akademicki 2017/2018 - sem. zimowy
2018L - rok akademicki 2017/2018 - sem. letni
2018Z - rok akademicki 2018/2019 - sem. zimowy
2019L - rok akademicki 2018/2019 - sem. letni
2019Z - rok akademicki 2019/2020 - sem. zimowy
2020L - rok akademicki 2019/2020 - sem. letni
2020Z - rok akademicki 2020/2021 - sem. zimowy
2021L - rok akademicki 2020/2021 - sem. letni
2021Z - rok akademicki 2021/2022 - sem. zimowy
2022L - rok akademicki 2021/2022 - sem. letni
2022Z - rok akademicki 2022/2023 - sem. zimowy
(zajęcia mogą być semestralne, trymestralne lub roczne)
Opcje
2012Z 2013L 2013Z 2014L 2014Z 2015L 2015Z 2016L 2016Z 2017L 2017Z 2018L 2018Z 2019L 2019Z 2020L 2020Z 2021L 2021Z 2022L 2022Z
103A-ARxxx-DSP-AMO brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2015/2016 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2016/2017 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Podstawowym celem wykładu jest zapoznanie studentów z pojęciem optimum, warunkami koniecznymi i dostatecznymi optymalności dla zadań optymalizacji bez ograniczeń i z ograniczeniami, pozwalającymi na weryfikację poprawności uzyskiwanych z pakietów rozwiązań. Studenci zapoznają się również z pewnymi pakietami modelowania i rozwiązywania zadań optymalizacyjnych (AMPL, MATLAB). Ponadto w ramach wykładu przedstawione zostaną elementy teorii dualności Lagrange`a oraz wybrane metody numerycznego rozwiązywania zadań optymalizacji. Szczególnie dużo uwagi poświęca się zadaniom programowania liniowego i kwadratowego. Celem dodatkowym jest zapoznanie studentów z pewnymi rzeczywistymi zastosowaniami metod optymalizacyjnych, formułowaniem modeli optymalizacyjnych oraz różnymi problemami, z którymi mogą się zetknąć w trakcie ich rozwiązywania, jak również praktycznym wykorzystaniem istniejących pakietów optymalizacyjnych, w tym w szczególności z liniowymi zadaniami mieszania/diety oraz (...)

Strona przedmiotu
103B-ARxxx-DSP-AMO brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2018/2019 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2020/2021 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2021/2022 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2022/2023 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Podstawowym celem wykładu jest zapoznanie studentów z pojęciem optimum, warunkami koniecznymi i dostatecznymi optymalności dla zadań optymalizacji bez ograniczeń i z ograniczeniami, pozwalającymi na weryfikację poprawności uzyskiwanych z pakietów rozwiązań. Studenci zapoznają się również z pewnymi pakietami modelowania i rozwiązywania zadań optymalizacyjnych (AMPL, MATLAB). Ponadto w ramach wykładu przedstawione zostaną elementy teorii dualności Lagrange`a oraz wybrane metody numerycznego rozwiązywania zadań optymalizacji. Szczególnie dużo uwagi poświęca się zadaniom programowania liniowego i kwadratowego. Celem dodatkowym jest zapoznanie studentów z pewnymi rzeczywistymi zastosowaniami metod optymalizacyjnych, formułowaniem modeli optymalizacyjnych oraz różnymi problemami, z którymi mogą się zetknąć w trakcie ich rozwiązywania, jak również praktycznym wykorzystaniem istniejących pakietów optymalizacyjnych, w tym w szczególności z liniowymi zadaniami mieszania/diety oraz (...)

Strona przedmiotu
103A-xxxxx-MSP-GIS brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2012/2013 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2013/2014 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2013/2014 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2014/2015 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2014/2015 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2015/2016 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2015/2016 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2016/2017 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2016/2017 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Przedmiot zaznajamia studenta z pojęciami, metodami i narzędziami analizy i projektowania wykorzystującymi metody teorii grafów i sieci. Wykład obejmuje takie zagadnienia jak: podstawy grafów i sieci, modelowanie problemów dyskretnych za pomocą grafów, algorytmy grafowe, struktury danych, sieci złożone, przepływy w sieciach.
Wykład oferuje możliwość współdzielenia doświadczeń przez studentów studiujących różne specjalności (np. telekomunikacja, informatyka, badania operacyjne, itp.). Projekt wykonywany w zespołach dwuosobowych zapewnia możliwość praktycznych doświadczeń i weryfikacji materiału zawartego w programie przedmiotu.
Po zaliczeniu przedmiotu student powinien posiadać następujące umiejętności:

  • formułowania problemów kombinatorycznych w języku teorii grafów,
  • wyboru algorytmów grafowych ułatwiających rozwiązanie postawionego problemu,
  • interpretacji uzyskanych wyników.

Strona przedmiotu
103B-INIIT-MSP-LI brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. letni
  • Ćwiczenia - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2013/2014 - sem. letni
  • Ćwiczenia - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Ćwiczenia - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Na wykładzie przedstawiona będzie teoria krat, algebry Posta, teoria zbiorów rozmytych, teoria zbiorów przybliżonych zaproponowana przez Z. Pawlaka, rachunek zdań, logika pierwszego rzędu, logika probabilistyczna, logika rozmyta, logika modalna (system S4 oraz S5), logiki wielowartościowe, oraz logiki niemonotoniczne. Omówione będzie podejście Dempstera-Shafera do problemów związanych z niepełną informacją. Podejście to porównane zostanie z teorią zbiorów przybliżonych. Przedstawione zostaną różne metody dowodzenia twierdzeń.

Strona przedmiotu
103B-INxxx-MSP-MED brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. zimowy
  • Laboratorium - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2013/2014 - sem. zimowy
  • Laboratorium - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2014/2015 - sem. zimowy
  • Laboratorium - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2015/2016 - sem. zimowy
  • Laboratorium - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2016/2017 - sem. zimowy
  • Laboratorium - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Laboratorium - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. zimowy
  • Laboratorium - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. zimowy
  • Laboratorium - 15 godzin
  • Projekt - 15 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Na treść wykładu składa się szeroki zakres tematów z obecnie bardzo intensywnie rozwijanej dziedziny eksploracji danych. Prezentowane techniki i algorytmy mają istotne znaczenie praktyczne - dobrze nadają się do wydobywania wzorców ukrytych w olbrzymich zasobach danych rzeczywistych. Przewiduje się, że prezentowane metody będą miały pierwszorzędne znaczenie dla ewolucji systemów baz danych do postaci efektywnych systemów baz wiedzy. Zostaną przedstawione przykłady języków eksploracji danych (zwanych także językami specyfikacji wiedzy), które już obecnie można efektywnie zaimplementować w środowisku współczesnych systemów baz danych. Oprócz omówienia zagadnień odkrywania różnych typów wiedzy zostaną przedstawione najnowsze znaczące osiągnięcia w efektywnym pozyskiwaniu wiedzy poprzez stosowanie zwięzłych bezstratnych reprezentacji wzorców częstych i reguł asocjacyjnych. Zostanie dokonany krótki przegląd wybranych systemów eksploracji danych, które pojawiły się w komercyjnym (...)

Strona przedmiotu
103C-INxxx-MSP-MED brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2020/2021 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2020/2021 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2021/2022 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2021/2022 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2022/2023 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Na treść wykładu składa się szeroki zakres tematów z dziedziny eksploracji danych. Zostaną przedstawione metody odkrywania różnych typów wiedzy (takich jak np. reguły asocjacyjne i decyzyjne, wzorce sekwencyjne) z dużych zasobów danych oraz metody efektywnego pozyskiwania wiedzy poprzez stosowanie zwięzłych bezstratnych reprezentacji. Przedstawione zostaną także bardzo wydajne metody wyszukiwania duplikatów obiektów, grupowania i klasyfikacji danych, umożliwiające wykonanie tych zadań nawet o kilka rzędów wielkości szybciej niż przy zastosowaniu standardowych algorytmów. Omówione zostanie wykorzystanie impulsowych sieci neuronowych do prognozowania. Zaprezentowane będą metody odkrywania zależności funkcyjnych i przybliżonych pomiędzy zbiorami atrybutów. Omówione zostaną zagadnienia wnioskowania z niepełnych danych i na podstawie wiedzy częściowej.

Strona przedmiotu
103B-xxxxx-MSP-MSI brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2013/2014 - sem. letni
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. letni
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. letni
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. letni
  • Projekt - 15 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Celem przedmiotu jest zapoznanie i praktyczne przećwiczenie zaawansowanych komputerowych metod "sztucznej inteligencji" (Sz.I.) przeznaczonych dla tzw. "autonomicznych agentów". W pierwszej części (6 h) omawiane są podstawy logicznych systemów agentowych: reprezentacja wiedzy i procedury wnioskowania w logice predykatów. W drugiej części (6 h) przedstawione są zagadnienia przeszukiwania przestrzeni stanów i planowania, realizowane z pomocą ogólnych metodyk rozwiązywania problemów. W trzeciej części (15 h) wyjaśniane są zagadnienia modelowania niepewności, ze szczególnym uwzględnieniem Sieci Bayesa i dynamicznej Sieci Bayesa oraz metod wnioskowania w tych sieciach. Ostatnia część (3h) poświęcona jest podstawom systemu percepcji agenta i zasadom jego komunikowania się z człowiekiem za pomocą obrazu i mowy.

Strona przedmiotu
103A-CTTCM-MSA-EQUTH brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. zimowy
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2014/2015 - sem. letni
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2015/2016 - sem. letni
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2016/2017 - sem. letni
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. letni
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. letni
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. letni
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2020/2021 - sem. letni
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2021/2022 - sem. letni
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Wykład omawia podstawy modelowania i analizy systemów telekomunikacyjnych przy wykorzystaniu metod teorii kolejek. Teoria kolejek dostarcza metod i narzędzi do analizy systemów, w których użytkownicy rywalizują o dostęp do określonych zasobów i jest szeroko wykorzystywana w telekomunikacji, technice informatycznej, automatyce itp. Oprócz podstaw teoretycznych, w ramach wykładu zostaną przedstawione przykłady ich zastosowania do analizy wybranych systemów telekomunikacyjnych. Wykład wymaga dobrej znajomości podstawowych pojęć z zakresu rachunku prawdopodobieństwa.

Strona przedmiotu
103B-INSID-MSP-SNR brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2013/2014 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2016/2017 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2020/2021 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2020/2021 - sem. letni
  • Projekt - 30 godzin
  • Wykład - 30 godzin
rok akademicki 2021/2022 - sem. zimowy
  • Projekt - 30 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
Strona przedmiotu
103B-ARxxx-MSP-SAU brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. zimowy
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2015/2016 - sem. letni
  • Projekt - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Projekt - 15 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Wykład poświęcony jest systemom decyzyjnym i sterującym, które adaptują się do nieznanego z góry lub zmieniającego się środowiska, w którym działają. Metody analizy i konstrukcji systemów tego rodzaju wywodzą się z dwóch dziedzin wiedzy: sztucznej inteligencji (uczenie się przez wzmacnianie) oraz teorii sterowania (sterowanie adaptacyjne). Wykład omawia oba podejścia.

Strona przedmiotu
103A-xxxxx-MSP-TK brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. zimowy
  • Ćwiczenia - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2013/2014 - sem. letni
  • Ćwiczenia - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Ćwiczenia - 15 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Przedmiot zaznajamia studentów z teorią kolejek - działem probabilistyki o decydującym znaczeniu dla modelowania systemów i sieci telekomunikacyjnych. Teoria kolejek dostarcza narzędzi do obliczania miar probabilistycznych takich jak np. prawdopodobieństwo odrzucenia zgłoszenia w sieci telefonicznej, czy rozkład prawdopodobieństwa oczekiwania pakietu w buforze węzła sieci IP.

Strona przedmiotu
103A-INxxx-MSP-ZMWO brak brak brak brak brak brak brak brak brak brak brak brak brak
Zajęcia przedmiotu
rok akademicki 2012/2013 - sem. letni
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2013/2014 - sem. letni
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2014/2015 - sem. letni
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2016/2017 - sem. letni
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2017/2018 - sem. zimowy
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2018/2019 - sem. letni
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2019/2020 - sem. letni
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
rok akademicki 2020/2021 - sem. letni
  • Projekt - 15 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Celem przedmiotu jest zapoznanie studentów z zaawansowanymi metodami stosowanymi w produkcji oprogramowania wysokiej jakości oraz jego ewolucji. Omawiane są różne formalne metody specyfikacji oprogramowania pozwalające na uzyskanie wysokiej niezawodności. Prezentowane są nowoczesne podejścia do projektowania np. MDA, design by contract, metodyki lekkie. Omawiane są różne metody ponownego użycia np. projektowanie aspektowe, komponentowa inżynieria oprogramowania, wzorce projektowe i architektoniczne. Studenci poznają także zaawansowane techniki testowania oprogramowania obiektowego. Uczą się stosowania metryk oprogramowania w projektowaniu i testowaniu. Przedstawiane są techniki ponownej inżynierii kodu poprawiające jego jakość. Wykład jest skorelowany z zajęciami laboratoryjnymi. W ramach zajęć laboratoryjnych studenci stosują poznane metody do rozwiązania konkretnych problemów. Poznają także narzędzia do specyfikacji formalnych i automatyzacji testowania.

Strona przedmiotu
pl. Politechniki 1, 00-661 Warszawa tel: (22) 234 7211 https://pw.edu.pl kontakt deklaracja dostępności USOSweb 6.8.0.0-4a (2022-10-03)