Specyfikacje formalne i programy funkcyjne
Informacje ogólne
Kod przedmiotu: | 103B-INxxx-MSP-SPOP |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Specyfikacje formalne i programy funkcyjne |
Jednostka: | Wydział Elektroniki i Technik Informacyjnych |
Grupy: |
( Przedmioty techniczne )---EITI ( Przedmioty zaawansowane )-Systemy informacyjno-decyzyjne-mgr.-EITI ( Przedmioty zaawansowane obieralne )-Inżynieria systemów informatycznych-mgr.-EITI ( Przedmioty zaawansowane techniczne )--mgr.-EITI |
Punkty ECTS i inne: |
4.00
|
Język prowadzenia: | polski |
Jednostka decyzyjna: | 103000 - Wydział Elektroniki i Technik Informacyjnych |
Kod wydziałowy: | SPOP |
Numer wersji: | 2 |
Skrócony opis: |
Celem przedmiotu jest przedstawienie metod i języków specyfikacyjnych w procesie tworzenia oprogramowania. Treść wykład obejmuje języki funkcyjne oraz metody weryfikowania specyfikacji. Ćwiczenia laboratoryjne umożliwiają studentom nabycie praktycznej umiejętności programowania w języku Haskel i zapoznanie się z techniką specyfikacji systemu w języku Alloy oraz analizy specyfikacji z użyciem narzędzia Alloy Analyzer. |
Pełny opis: |
Celem przedmiotu jest przedstawienie metod i języków specyfikacyjnych w procesie tworzenia oprogramowania. Treść wykład obejmuje języki funkcyjne oraz metody weryfikowania specyfikacji. Ćwiczenia laboratoryjne umożliwiają studentom nabycie praktycznej umiejętności programowania w języku Haskel i zapoznanie się z techniką specyfikacji systemu w języku Alloy oraz analizy specyfikacji z użyciem narzędzia Alloy Analyzer.
|
Literatura: |
|
Metody i kryteria oceniania: |
Zaliczenie przedmiotu odbywa się na podstawie ocen z dwóch kolokwiów |
Zajęcia w cyklu "rok akademicki 2021/2022 - sem. zimowy" (zakończony)
Okres: | 2021-10-01 - 2022-02-22 |
Przejdź do planu
PN LAB
WT ŚR CZ PT WYK
|
Typ zajęć: |
Laboratorium, 15 godzin, 48 miejsc
Wykład, 30 godzin, 48 miejsc
|
|
Koordynatorzy: | Marcin Szlenk | |
Prowadzący grup: | Marcin Szlenk | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 103100 - Instytut Automatyki i Informatyki Stosowanej |
Zajęcia w cyklu "rok akademicki 2020/2021 - sem. letni" (zakończony)
Okres: | 2021-02-20 - 2021-09-30 |
Przejdź do planu
PN LAB
LAB
LAB
LAB
LAB
LAB
LAB
WT ŚR CZ PT WYK
|
Typ zajęć: |
Laboratorium, 15 godzin, 48 miejsc
Wykład, 30 godzin, 48 miejsc
|
|
Koordynatorzy: | Marcin Szlenk | |
Prowadzący grup: | Marcin Szlenk | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 103100 - Instytut Automatyki i Informatyki Stosowanej |
Zajęcia w cyklu "rok akademicki 2020/2021 - sem. zimowy" (zakończony)
Okres: | 2020-10-01 - 2021-02-19 |
Przejdź do planu
PN LAB
WT ŚR CZ PT WYK
|
Typ zajęć: |
Laboratorium, 15 godzin, 60 miejsc
Wykład, 30 godzin, 60 miejsc
|
|
Koordynatorzy: | Marcin Szlenk | |
Prowadzący grup: | Marcin Szlenk | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 103100 - Instytut Automatyki i Informatyki Stosowanej |
Zajęcia w cyklu "rok akademicki 2019/2020 - sem. letni" (zakończony)
Okres: | 2020-02-22 - 2020-09-30 |
Przejdź do planu
PN LAB
LAB
LAB
LAB
WT ŚR CZ PT WYK
|
Typ zajęć: |
Laboratorium, 15 godzin, 48 miejsc
Wykład, 30 godzin, 48 miejsc
|
|
Koordynatorzy: | Marcin Szlenk | |
Prowadzący grup: | Marcin Szlenk | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 103100 - Instytut Automatyki i Informatyki Stosowanej |
Zajęcia w cyklu "rok akademicki 2019/2020 - sem. zimowy" (zakończony)
Okres: | 2019-10-01 - 2020-02-21 |
Przejdź do planu
PN LAB
WT ŚR CZ LAB
PT LAB
WYK
|
Typ zajęć: |
Laboratorium, 15 godzin, 60 miejsc
Wykład, 30 godzin, 60 miejsc
|
|
Koordynatorzy: | Marcin Szlenk | |
Prowadzący grup: | Marcin Szlenk | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 103100 - Instytut Automatyki i Informatyki Stosowanej |
Zajęcia w cyklu "rok akademicki 2018/2019 - sem. letni" (zakończony)
Okres: | 2019-02-18 - 2019-09-30 |
Przejdź do planu
PN LAB
LAB
WT ŚR CZ LAB
LAB
PT WYK
|
Typ zajęć: |
Laboratorium, 15 godzin, 48 miejsc
Wykład, 30 godzin, 48 miejsc
|
|
Koordynatorzy: | Marcin Szlenk | |
Prowadzący grup: | Marcin Szlenk | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 103100 - Instytut Automatyki i Informatyki Stosowanej |
Zajęcia w cyklu "rok akademicki 2018/2019 - sem. zimowy" (zakończony)
Okres: | 2018-10-01 - 2019-02-17 |
Przejdź do planu
PN LAB
LAB
WT ŚR CZ LAB
LAB
PT WYK
|
Typ zajęć: |
Laboratorium, 15 godzin, 48 miejsc
Wykład, 30 godzin, 48 miejsc
|
|
Koordynatorzy: | Marcin Szlenk | |
Prowadzący grup: | Marcin Szlenk | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: | Ocena łączna | |
Jednostka realizująca: | 103100 - Instytut Automatyki i Informatyki Stosowanej |
Właścicielem praw autorskich jest Politechnika Warszawska.