diff --git a/docs/project/technical-doc.md b/docs/project/technical-doc.md index 78c9ab0..038a317 100644 --- a/docs/project/technical-doc.md +++ b/docs/project/technical-doc.md @@ -7,7 +7,7 @@ layout: default #### Einführung -Der nächste Schritt im Projekt ist es anhand der Anforderungen das zu entwickelnde System zu spezifizieren und die technische Umsetzung zu planen. Wir wir im Artikel [A rational design process - and how to fake](https://users.ece.utexas.edu/~perry/education/SE-Intro/fakeit.pdf) it gesehen haben, werden wir es nie schaffen, bereits in der Designphase alle möglichen Probleme vorauszusehen. Deshalb sollten Sie die nächsten zwei Schritte, nämlich Prototyp schreiben und technische Dokumentation erstellen, parallel ausführen. Überlegen Sie sich auch, ob die neuen Erkenntnisse, die Sie durch diese Schritte erlangen, Auswirkungen auf die im Pflichtenheft spezifizierten Anforderungen haben. +Der nächste Schritt im Projekt ist es anhand der Anforderungen das zu entwickelnde System zu spezifizieren und die technische Umsetzung zu planen. Wie wir im Artikel [A rational design process - and how to fake](https://users.ece.utexas.edu/~perry/education/SE-Intro/fakeit.pdf) it gesehen haben, werden wir es nie schaffen, bereits in der Designphase alle möglichen Probleme vorauszusehen. Deshalb sollten Sie die nächsten zwei Schritte, nämlich Prototyp schreiben und technische Dokumentation erstellen, parallel ausführen. Überlegen Sie sich auch, ob die neuen Erkenntnisse, die Sie durch diese Schritte erlangen, Auswirkungen auf die im Pflichtenheft spezifizierten Anforderungen haben. #### Vorbereitung @@ -22,7 +22,7 @@ Die Funktionalität soll in dieser Phase nicht vollständig implementiert werden #### Technische Dokumentation erstellen -Erstellen Sie die Technische Dokumentation. Nutzen Sie dazu dieses [Template](../templates/technical-doc.html) +Erstellen Sie die Technische Dokumentation. Nutzen Sie dazu dieses [Template](../project/templates/technical-doc) * [Link zum template im Markdown Format](https://raw.githubusercontent.com/unibas-marcelluethi/software-engineering/main/docs/project/templates/technical-doc.md) diff --git a/docs/week7/guide.md b/docs/week7/guide.md index 60851fb..b3e1976 100644 --- a/docs/week7/guide.md +++ b/docs/week7/guide.md @@ -7,15 +7,15 @@ title : Woche 7 ## Übersicht Mit der Anforderungsanalyse sind wir in das Gebiet der Softwarespezifikation vorgedrungen. In dieser Woche schauen wir uns Softwarespezifikation im Allgemeinen an. -Wir besprechen was genau eine Softwarespezifikation ist, welchen Zweck sie erfüllt und wir wir zu einer guten Spezifikation kommen. +Wir besprechen was genau eine Softwarespezifikation ist, welchen Zweck sie erfüllt und wie wir zu einer guten Spezifikation kommen. ## Lernziele ### Grundlegende Lernziele -Alle Studierenden sind verantwortlich, sich die untenstehenden Lernziele *vor* der Vorlesungsstunde am 03. November *selbständig* zu erarbeiten. +Alle Studierenden sind verantwortlich, sich die untenstehenden Lernziele *vor* der Vorlesungsstunde am 01. November *selbständig* zu erarbeiten. -Nach dem Selbstudium der Vorlesungsmaterialien sollten die Studierenden: +Nach dem Selbststudium der Vorlesungsmaterialien sollten die Studierenden: - Kennen den Zweck von Softwarespezifikationen - Können wichtige Qualitätsmerkmale von Softwarespezifikationen nennen und wissen, weshalb diese schwierig zu erreichen sind. - Können erklären, wie ein idealer Softwarespezifikationsprozess aussieht und weshalb man diesen in der Praxis nie erreichen kann. diff --git a/docs/week7/index.md b/docs/week7/index.md index 24ae80b..4c0460b 100644 --- a/docs/week7/index.md +++ b/docs/week7/index.md @@ -14,7 +14,7 @@ Wir besprechen was genau eine Softwarespezifikation ist, welchen Zweck sie erfü #### Vorbereitung (zu bearbeiten bis 31. Oktober) -* Schritt 1 Schauen Sie das Video zum Thema Softwarespezifikation ([Video](https://unibas.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=1e37034f-1132-4387-a14c-b07000ddd3fa), [Slides](./slides/Spezifikation.pdf)) +* Schritt 1: Schauen Sie das Video zum Thema Softwarespezifikation ([Video](https://unibas.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=1e37034f-1132-4387-a14c-b07000ddd3fa), [Slides](./slides/Spezifikation.pdf)) * Schritt 2: Schauen Sie das Video "Beispiele klassischer Diagramme zur Modellierung" ([Video](https://unibas.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=bcf7ebeb-0b58-4ef7-a66a-b07000ddf8f6), [Slides](./slides/Klassische-spezifikationen.pdf)) * Schritt 3: Lesen Sie den Artikel "Logische Spezifikationen" ([Artikel](./logic)) * Schritt 4: Lesen Sie den Artikel "A rational design process - and how to fake it" ([Artikel](https://users.ece.utexas.edu/~perry/education/SE-Intro/fakeit.pdf)) @@ -27,7 +27,7 @@ Wir werden auch die ersten Entwürfe ihrer Pflichtenhefte miteinander besprechen ## Übungsstunde -Während der Übungsstunde werden wir in Gruppen die erarbeiteten Pflichtenhefte diskutieren. Zudem haben Sie Zeit am Prototypen zu arbeiten und mit dem Design (UML Klassendiagramm) zu beginnen. Folgen Sie dazu [diesem Projektschritt](../project/technical-doc). +Während der Übungsstunde werden wir in Gruppen die erarbeiteten Pflichtenhefte diskutieren. Zudem haben Sie Zeit am Prototypen zu arbeiten und mit dem Design (UML Klassendiagramm) zu beginnen. Folgen Sie dazu [diesem Projektschritt]( ../project/technical-doc). ## Hausaufgaben diff --git a/docs/week7/logic.md b/docs/week7/logic.md index 09bfdc2..e40cdcf 100644 --- a/docs/week7/logic.md +++ b/docs/week7/logic.md @@ -35,7 +35,7 @@ In diesem Beispiel haben wir eine Aussage, die immer falsch ist. Auch hier ist d ##### Beispiel 4: $$ x > 3 \texttt{ or } x < -6$$ -Im Gegensatz dazu können wir den Wahrheitswert dieser Formel nur für konkrete Werte von $$x$$ bestimmen, nicht aber im allgemeinen. +Im Gegensatz dazu können wir den Wahrheitswert dieser Formel nur für konkrete Werte von $$x$$ bestimmen, nicht aber im Allgemeinen. ##### Beispiel 5: $$ \texttt{forall } x,y,z \; (x > y \texttt{ and } y > z \texttt{ implies } x > z)$$ diff --git a/docs/week7/slides/Spezifikation.pdf b/docs/week7/slides/Spezifikation.pdf index 45b09d4..30219bd 100644 Binary files a/docs/week7/slides/Spezifikation.pdf and b/docs/week7/slides/Spezifikation.pdf differ