DIT085 - Revision history

Nicholas at 10:15, 23 March 2015

2015-03-23T10:15:02Z

2015-03-12T14:33:19Z

2015-03-05T13:46:32Z

2015-03-05T13:45:04Z

2015-03-05T12:25:04Z

2015-03-05T12:24:00Z

2015-03-01T00:01:36Z

2015-02-28T23:59:51Z

2015-02-26T20:51:45Z

2015-02-26T18:53:21Z

@@ Line 44: / Line 44: @@
 ** compare and judge alternatives to testing, such as model checking and runtime verification
 ** identify and hypothesize about sources of program failures, and reflect on how to better verify the correctness of such programs.
 ==Assessment==
@@ Line 62: / Line 60: @@
 === [[media:DIT085_assessment_guide_2015.pdf| Assessment Guide 2015]] ===
 == Slides and Study Material ==

← Older revision		Revision as of 14:33, 12 March 2015
Line 45:		Line 45:
	** identify and hypothesize about sources of program failures, and reflect on how to better verify the correctness of such programs.		** identify and hypothesize about sources of program failures, and reflect on how to better verify the correctness of such programs.

		+	=== [http://goo.gl/forms/kn3MMhCvGV Student Questionnaire] ===

	==Assessment==		==Assessment==

@@ Line 124: / Line 124: @@
 |  Lecture 7: Slicing and Debugging
 March 6, 2015
-||  [[media:DIT085_lecture7_handouts_2015.zip| Handouts]]  [[media:DIT085_lecture7_slides_2015.pdf|Slides]]
+||  [[media:DIT085_lecture7_handouts_2015.pdf| Handouts]]  [[media:DIT085_lecture7_slides_2015.pdf|Slides]]
 ||
 Chapters 5, 6, and 13 of Zeller

@@ Line 124: / Line 124: @@
 |  Lecture 7: Slicing and Debugging
 March 6, 2015
-||    ||
+||  [[media:DIT085_lecture7_handouts_2015.zip| Handouts]]  [[media:DIT085_lecture7_slides_2015.pdf|Slides]]
+||
 [http://dl.acm.org/citation.cfm?id=802557 M. Wiser, Program Slicing]
 |-

@@ Line 205: / Line 205: @@
 |  [[Phase 3: Specification and Model Checking]]         || March 06, 2015 23:59 ||
 |-
-|  [[DIT085 Ed 2015 Practical Phase 1|Phase 4: UI Testing]] (Optional, see the rules for pass with distinction)     || March 13, 2015 23:59 ||
+|  [[DIT085 Ed 2015 Practical Phase 4|Phase 4: UI Testing]] (Optional, see the rules for pass with distinction)     || March 13, 2015 23:59 ||
 |-
 |}

@@ Line 60: / Line 60: @@
 In order to pass the project, you need to pass all 3 mandatory parts of the project.
-=== [media:DIT085_assessment_guide_2015.pdf| Assessment Guide 2015]] ===
+=== [[media:DIT085_assessment_guide_2015.pdf| Assessment Guide 2015]] ===
 == Slides and Study Material ==

@@ Line 59: / Line 59: @@
 for the mandatory part and a pass for the optional part.
 In order to pass the project, you need to pass all 3 mandatory parts of the project.
 == Slides and Study Material ==
@@ Line 128: / Line 130: @@
 |  Lecture 8: Reviewing Model Examination
 March 13, 2015
-||    ||
+||   [[media:DIT085_model_examination_2015.pdf| Model Examination]]  [[media:DIT085_model_examination_solutions_2015.pdf| Solutions]]  ||
 |-
 |}

@@ Line 112: / Line 112: @@
 February 27, 2015
-||    ||
+||
 [http://www.cse.chalmers.se/~algeroth/cheatsheet.html VGT Cheat Sheet] (Examples, Exercises)