Inżynieria oprogramowania: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycjanastępna edycja →
WizualnieWikikod
Enawrocka (dyskusja | edycje)
502 edycje
Enawrocka (dyskusja | edycje)
502 edycje
Nie podano opisu zmian
Linia 1: Linia 1:
== Forma zajęć ==
==Zadania – Metody formalne, sieci Petriego==
Wykład (30 godzin) + laboratorium (30 godzin)


== Opis ==
[[io-07-lab-wiki|<< Powrót do strony zadań]]


Zasady, metody i narzędzia prowadzenia projektów programistycznych.
===Odpowiedzi===


== Sylabus ==
'''Zadanie 1:'''
*<strike>T0, T1, T3, T4, T1</strike>
*T0, T1, T3, T2, T4, T1
*<strike>T0, T1, T2, T1, T3</strike>
*T0, T1, T2, T3, T4, T1


=== Autor ===
<flashwrap>file=io-07-lab01.swf|width=360|height=350</flashwrap>
* Jerzy Nawrocki


=== Wymagania wstępne ===
T0, T1, T3, T2, T4, T1


* Podstawy programowania
<flashwrap>file=io-07-lab02.swf|width=360|height=350</flashwrap>
* Funkcje, relacje i zbiory. Elementy logiki matematycznej:  rachunek zdań i tautologie. Rekurencja.
* Programowanie obiektowe.


=== Zawartość ===
T0, T1, T2, T3, T4, T1


* Zasady skutecznego działania
'''Zadanie 2:'''
* Personal Software Process
*<strike>T1, T3, T5, T0, T3</strike>
* Specyfikacja wymagań
*T1, T3, T5, T2, T0, T3
* Kontrola jakości artefaktów
*<strike>T0, T3, T5, T1, T2</strike>
* Język UML
*T0, T2, T3, T5, T4
* Metody formalne
*T2, T0, T3, T5, T1, T4
* Wzorce projektowe
*<strike>T2, T0, T3, T4, T1</strike>
* Zarządzanie konfiguracą
* Wprowadzenie do testowania
* Automatyzacja wykonywania testów
* Ewolucja oprogramowania i refaktoryzacja
* Programowanie Ekstremalne


===Moduły===
<flashwrap>file=io-07-lab03.swf|width=380|height=370</flashwrap>
# Wprowadzenie do przedmiotu (flash / html / pdf) (Ćwiczenia)
# Zasady skutecznego działania  (flash / html / pdf) (Ćwiczenia)
# Specyfikacja wymagań (Ł.Olek) (flash / html / pdf) (Ćwiczenia)
# Kontrola jakości artefaktów (flash / html / pdf) (Ćwiczenia)
# Język UML, cz. I (flash / html / pdf) (Ćwiczenia)
# Język UML, cz. II (flash / html / pdf) (Ćwiczenia)
# Metody formalne (flash / html / pdf) ([[io-07-lab-wiki|Ćwiczenia]])
# Wzorce projektowe (flash / html / pdf) (Ćwiczenia)
# Zarządzanie konfiguracją (flash / html / pdf) (Ćwiczenia)
# Wprowadzenie do testowania (flash / html / pdf) (Ćwiczenia)
# Automatyzacja wykonywania testów (flash / html / pdf) (Ćwiczenia)
# Programowanie Ekstremalne (flash / html / pdf) (Ćwiczenia)
# Ewolucja oprogramowania i refaktoryzacja (flash / html / pdf) (Ćwiczenia)


=== Literatura ===
T1, T3, T5, T2, T0, T3
# M.Fowler, K.Scott. UML w kropelce. LTP, 2002.
 
# S.Covey. 7 nawyków skutecznego działania. REBIS, 2002.
<flashwrap>file=io-07-lab04.swf|width=380|height=370</flashwrap>
# W.Humphrey. A Discipline for Software Engineering. Addison-Wesley, 1995.
 
# K.Beck, A.Cynthia. Wydajne programowanie – Extreme Programming. Mikom, 2005.
T0, T2, T3, T5, T4
 
<flashwrap>file=io-07-lab05.swf|width=380|height=370</flashwrap>
 
T2, T0, T3, T5, T1, T4
 
'''Zadanie 3:'''
*( T0 T1 T2 T6 ( T4 T6 )* T3 T5 )*
 
'''Zadanie 4:'''
 
[[Media:io-07-lab04.xml|Plik w formacie PIPE2]]
 
Rozwiązanie przedstawiono na rysunku 5.
 
[[Image:io-07-lab-rys5.png|Sieć Petriego do zadania 4]]
 
Rys. 5. Sieć Petriego do zadania 4
 
<flashwrap>file=io-07-lab05.swf|width=460|height=320</flashwrap>

Wersja z 13:50, 9 sie 2006

Zadania – Metody formalne, sieci Petriego

<< Powrót do strony zadań

Odpowiedzi

Zadanie 1:

  • T0, T1, T3, T4, T1
  • T0, T1, T3, T2, T4, T1
  • T0, T1, T2, T1, T3
  • T0, T1, T2, T3, T4, T1

<flashwrap>file=io-07-lab01.swf|width=360|height=350</flashwrap>

T0, T1, T3, T2, T4, T1

<flashwrap>file=io-07-lab02.swf|width=360|height=350</flashwrap>

T0, T1, T2, T3, T4, T1

Zadanie 2:

  • T1, T3, T5, T0, T3
  • T1, T3, T5, T2, T0, T3
  • T0, T3, T5, T1, T2
  • T0, T2, T3, T5, T4
  • T2, T0, T3, T5, T1, T4
  • T2, T0, T3, T4, T1

<flashwrap>file=io-07-lab03.swf|width=380|height=370</flashwrap>

T1, T3, T5, T2, T0, T3

<flashwrap>file=io-07-lab04.swf|width=380|height=370</flashwrap>

T0, T2, T3, T5, T4

<flashwrap>file=io-07-lab05.swf|width=380|height=370</flashwrap>

T2, T0, T3, T5, T1, T4

Zadanie 3:

  • ( T0 T1 T2 T6 ( T4 T6 )* T3 T5 )*

Zadanie 4:

Plik w formacie PIPE2

Rozwiązanie przedstawiono na rysunku 5.

Sieć Petriego do zadania 4

Rys. 5. Sieć Petriego do zadania 4

<flashwrap>file=io-07-lab05.swf|width=460|height=320</flashwrap>

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Inżynieria_oprogramowania&oldid=12178”