DIT085 Ed 2016 - Revision history

Ceres at 16:26, 11 May 2016

2016-05-11T16:26:09Z

2016-03-18T07:08:05Z

2016-03-11T13:08:06Z

2016-03-11T10:11:43Z

2016-03-11T07:15:29Z

2016-03-11T06:45:53Z

2016-03-11T06:44:40Z

2016-03-04T18:31:06Z

2016-03-04T07:04:11Z

2016-02-25T10:17:51Z

← Older revision		Revision as of 16:26, 11 May 2016
Line 138:		Line 138:
	[http://www.mbsd.cs.ru.nl/publications/papers/fvaan/handbookuppaal/ Gossip and Jobshop Examples]		[http://www.mbsd.cs.ru.nl/publications/papers/fvaan/handbookuppaal/ Gossip and Jobshop Examples]

		+	[[media:DIT085_2016_USBChannel.zip \| USB Channel Example]]

	\|-		\|-

← Older revision		Revision as of 07:08, 18 March 2016
Line 67:		Line 67:
	=== [[media:DIT085_final_examination_april_2015.pdf\| Final Examination at Chalmers/GU, April 2015]], [[media:DIT085_final_examination_april_2015_with_solutions.pdf\| Final Examination at Chalmers / GU, April 2015 with Solutions]] ===		=== [[media:DIT085_final_examination_april_2015.pdf\| Final Examination at Chalmers/GU, April 2015]], [[media:DIT085_final_examination_april_2015_with_solutions.pdf\| Final Examination at Chalmers / GU, April 2015 with Solutions]] ===

		+
		+	=== [[media:DIT085_final_examination_march_2016.pdf\| Final Examination at Chalmers/GU, March 2016]], [[media:DIT085_final_examination_march_2016_with_solutions.pdf\| Final Examination at Chalmers / GU, March 2016 with Solutions]] ===

← Older revision		Revision as of 13:08, 11 March 2016
Line 170:		Line 170:

	[[media:DIT085_2016_model_exam.pdf \| Model Examination]]		[[media:DIT085_2016_model_exam.pdf \| Model Examination]]
		+
		+
		+	[[media:DIT085_2016_model_exam_solutions.pdf \| Model Examination with Solutions]]

← Older revision		Revision as of 10:11, 11 March 2016
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://bit.ly/DIT085Q2016 Student Questionnaire]==~~

	==Assessment==		==Assessment==

@@ Line 169: / Line 169: @@
 March 11, 2016
 ||
   ||
 |-

@@ 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 145: / Line 145: @@
 February 26, 2016
 ||
 ||

← Older revision		Revision as of 18:31, 4 March 2016
Line 59:		Line 59:
	In order to pass the project, you need to pass all 3 mandatory parts of the project.		In order to pass the project, you need to pass all 3 mandatory parts of the project.

		+	=== [[media:DIT085_assessment_guide_2016.pdf\| Assessment Guide 2016]] ===

	=== [[media:DIT085_final_examination_march_2015.pdf\| Final Examination at Chalmers/GU, March 2015]], [[media:DIT085_final_examination_march_2015_with_solutions.pdf\| Final Examination at Chalmers / GU, March 2015 with Solutions]] ===		=== [[media:DIT085_final_examination_march_2015.pdf\| Final Examination at Chalmers/GU, March 2015]], [[media:DIT085_final_examination_march_2015_with_solutions.pdf\| Final Examination at Chalmers / GU, March 2015 with Solutions]] ===

@@ Line 152: / Line 152: @@
 March 4, 2016
 ||
 ||
 Chapters 5, 6, and 13 of Zeller

← Older revision		Revision as of 10:17, 25 February 2016
Line 59:		Line 59:
	In order to pass the project, you need to pass all 3 mandatory parts of the project.		In order to pass the project, you need to pass all 3 mandatory parts of the project.

−	=== [[media:DIT085_final_examination_march_2015.pdf\| Final Examination 2015]], [[media:DIT085_final_examination_march_2015_with_solutions.pdf\| Final Examination 2015 with Solutions]] ===	+
		+	=== [[media:DIT085_final_examination_march_2015.pdf\| Final Examination at Chalmers/GU, March 2015]], [[media:DIT085_final_examination_march_2015_with_solutions.pdf\| Final Examination at Chalmers / GU, March 2015 with Solutions]] ===
		+
		+
		+	=== [[media:DIT085_final_examination_april_2015.pdf\| Final Examination at Chalmers/GU, April 2015]], [[media:DIT085_final_examination_april_2015_with_solutions.pdf\| Final Examination at Chalmers / GU, April 2015 with Solutions]] ===