Cel kształcenia i wykaz literatury

Główny cel kształcenia: Przekazanie wiedzy i umiejętności z zakresu weryfikacji, walidacji oraz utrzymania systemów informatycznych

Ogólne informacje o zajęciach: Wykład poświęcony jest zagadnieniom ogólnym z zakresu SW V&V & M. Laboratorium poświęcone jest zagadnieniom praktycznym

Wykaz literatury, wymaganej do zaliczenia zajęć

Literatura wykorzystywana podczas zajęć wykładowych

1	R.E. Fairley	Managing and Leading Software Projects	DOI:10.1002/9780470405697.	2009
2	Bourque, P., Fairley, R. E.	SWEBOK V3.0	IEEE Computer Society.	2014

Wymagania wstępne w kategorii wiedzy/umiejętności/kompetencji społecznych

Wymagania formalne: Zaliczony moduł "Inżynieria oprogramowania"

Wymagania wstępne w kategorii Wiedzy: Zna metody i techniki produkcji oprogramowania

Wymagania wstępne w kategorii Umiejętności: Student umie stosować techniki produkcji oprogramowania

Wymagania wstępne w kategorii Kompetencji społecznych: Przestrzega zasad BHP, w szczególności zasad higieny

Efekty kształcenia dla zajęć

MEK	Student, który zaliczył zajęcia	Formy zajęć/metody dydaktyczne prowadzące do osiągnięcia danego efektu kształcenia	Metody weryfikacji każdego z wymienionych efektów kształcenia	Związki z KEK	Związki z PRK
01	Zna i potrafi stosować techniki weryfikacji poprawności oprogramowania	wykład, laboratorium	zaliczenie cz. praktyczna	K_W04+ K_W09+	P6S_WG
02	Zna i potrafi stosować techniki walidacji oprogramowania	wykład, laboratorium	zaliczenie cz. praktyczna	K_U13+ K_K04+	P6S_KO P6S_KR P6S_UO P6S_UW
03	Zna i potrafi stosować techniki utrzymania oprogramowania	wykład, laboratorium	zaliczenie cz. praktyczna	K_U02+ K_K03+	P6S_KR P6S_UW

Uwaga: W zależności od sytuacji epidemicznej, jeżeli nie będzie możliwości weryfikacji osiągniętych efektów uczenia się określonych w programie studiów w sposób stacjonarny w szczególności zaliczenia i egzaminy kończące określone zajęcia będą mogły się odbywać przy użyciu środków komunikacji elektronicznej (w sposób zdalny).

Treści kształcenia dla zajęć

Sem.	TK	Treści kształcenia	Realizowane na	MEK
6	TK01	Techniki weryfikacji poprawności oprogramowania	W1 - W5, L1 - L3	MEK01
6	TK02	Techniki walidacji oprogramowania	W6 - W9, L4 - L5	MEK02
6	TK03	Techniki utrzymania oprogramowania	W10 - W12, L6, L7	MEK03

Nakład pracy studenta

Forma zajęć	Praca przed zajęciami	Udział w zajęciach	Praca po zajęciach
Wykład (sem. 6)	Przygotowanie do kolokwium: 8.00 godz./sem.	Godziny kontaktowe: 25.00 godz./sem.	Studiowanie zalecanej literatury: 8.00 godz./sem.
Laboratorium (sem. 6)	Przygotowanie do laboratorium: 15.00 godz./sem.	Godziny kontaktowe: 15.00 godz./sem.
Konsultacje (sem. 6)
Zaliczenie (sem. 6)	Przygotowanie do zaliczenia: 8.00 godz./sem.

Sposób wystawiania ocen składowych zajęć i oceny końcowej

Forma zajęć	Sposób wystawiania oceny podsumowującej
Wykład	Test
Laboratorium	Zaliczenie praktyczne
Ocena końcowa	średnia z ocen z wykładu i laboratorium

Przykładowe zadania

Wymagane podczas egzaminu/zaliczenia
(-)

Realizowane podczas zajęć ćwiczeniowych/laboratoryjnych/projektowych
(-)

Inne
(-)

Czy podczas egzaminu/zaliczenia student ma możliwość korzystania z materiałów pomocniczych : tak

Dostępne materiały :

Treści zajęć powiazane są z prowadzonymi badaniami naukowymi: tak

1	A. Bonci; G. Dec; S. Longhi; M. Pirani; D. Stadnicka	A Concept of an SME Focused Edge Computing Self-managing Cyber-physical System	2023
2	G. Dec; D. Mazur; D. Rzońca	Urządzenie zabezpieczające powierzchnie płaskie, zwłaszcza powierzchnie paneli fotowoltaicznych	2023
3	D. Atzeni; A. Carreras-Coch; G. Dec; D. Mazzei; M. Mądziel; L. Pappa; Ł. Paśko; X. Solé-Beteta; D. Stadnicka; C. Stylios	Plan and Develop Advanced Knowledge and Skills for Future Industrial Employees in the Field of Artificial Intelligence, Internet of Things and Edge Computing	2022
4	G. Dec; K. Kubiak; D. Stadnicka	Possible Applications of Edge Computing in the Manufacturing Industry-Systematic Literature Review	2022
5	G. Dec; R. Figliè; D. Mazzei; M. Mądziel; J. Navarro; Ł. Paśko; X. Solé-Beteta; D. Stadnicka; C. Stylios; M. Tyrovolas	Role of Academics in Transferring Knowledge and Skills on Artificial Intelligence, Internet of Things and Edge Computing	2022
6	G. Dec; A. Majka; T. Rogalski; D. Rzońca; S. Samolej	Regular graph-based free route flight planning approach	2021
7	G. Dec; G. Drałus; B. Kwiatkowski; D. Mazur	Forecasting Models of Daily Energy Generation by PV Panels Using Fuzzy Logic	2021
8	A. Bonci; G. Dec; E. Lorenzoni; M. Pirani; D. Stadnicka	Symbiotic cyber-physical Kanban 4.0: an Approach for SMEs	2020
9	G. Dec; D. Mazur; D. Rzońca	Urządzenie zabezpieczające powierzchnie płaskie, zwłaszcza powierzchnie paneli fotowoltaicznych	2019