Master ST Home
Center ST Home
FAQ
Contact
Brochure
Introduction
Area
Center
Curriculum
Pre-master
Supervision
Thesis Projects
Career
International Exchange
People
Students
Staff
Coordinators
Courses
FPLC
|
SWE
DOS
|
SWS
CCO
|
SWA
APA
|
AFP
|
DBA
PV
|
GP
Seminars
DTP
|
TBPA
ACC
|
NO
DBA
Other Activities
Literature Study
Colloquium
Experimentation Project
Thesis project
How To
Electronic Library
?
Research Talk
Use TeX
Formulate Effectively
CommonMistakes
(constr)
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Web Statistics
Master
Oct 2002
347
0
0
72
WebHome
24
IntroductionToSoftwareTechnology
12 Admission
11
MasterCourses
9
SoftwareEngineering
9 Introduction
8
ThesisProject
8
CurriculumSoftwareTechnology
7
ProgramTransformation
7
CareerOpportunities
7
AutomaticProgramAnalysis
Nov 2002
260
11
0
59
WebStatistics
50
WebHome
11
CenterForSoftwareTechnology
5
WebPreferences
5
ThesisProject
5
SoftwareEngineering
5
DistributedObjectSystems
5 Contacts
4
WebSearch
4
WebNews
4
TypeSystems
10
JohanJeuring
1
EelcoVisser
Dec 2002
125
0
0
51
WebHome
3
WebIndex
3
WebChanges
3
SoftwareSpecification
3
ProgramTransformation
3
ImplementationOfProgrammingLanguages
3
GenericProgramming
3 Contacts
3 Admission
2
WebTools
2
WebStatistics
Jan 2003
113
2
0
10
WebHome
5
WebStatistics
3
WebContents
?
3
ThesisProject
3
ProgramTransformation
3
BrochureSoftwareTechnology
2
WebTools
2
WebSearch
2
WebPreferences
2
WebNotify
2
WebNews
1
EelcoVisser
1
DaveClarke
Feb 2003
13
0
0
7
WebHome
4
WebStatistics
1
ProgramVerification
1 Admission
Mar 2003
25
4
0
14
WebHome
6
WebStatistics
2 Admission
1 Introduction
1
CareerOpportunities
1
BrochureSoftwareTechnology
4
EelcoVisser
Apr 2003
107
3
0
18
WebHome
8
WebStatistics
5
MasterCourses
3
IntroductionToSoftwareTechnology
2
WebTools
2
WebSearch
2
WebPreferences
2
WebNews
2
WebIndex
2
WebChanges
2
TypeSystems
3
EelcoVisser
May 2003
89
2
0
14
WebHome
5
WebNews
4
WebStatistics
4
TypeSystems
4
SiteMap
4
CurriculumSoftwareTechnology
4
BrochureSoftwareTechnology
3
ImplementationOfProgrammingLanguages
3
HighPerformanceCompilers
3
ColloquiumSoftwareTechnology
3
CenterForSoftwareTechnology
2
EelcoVisser
Jun 2003
353
34
0
42
WebHome
20
MasterCourses
17
ThesisProject
10 Admission
9
ImplementationOfProgrammingLanguages
9
ColloquiumSoftwareTechnology
8
WebNews
7
SoftwareSpecification
7
SoftwareEngineering
7
SoftwareArchitecture
7
ProgramVerification
26
EelcoVisser
4
DaveClarke
3
JohanJeuring
1
WishnuPrasetya
Jul 2003
156
1
0
28
WebHome
8
ThesisProject
8
MasterCourses
8
CareerOpportunities
7 Supervision
7 Admission
6
CurriculumSoftwareTechnology
6
CenterForSoftwareTechnology
5 Introduction
5 Contacts
5 Area
1
DaveClarke
Aug 2003
176
51
0
24
WebHome
17
CurriculumSoftwareTechnology
12
BrochureSoftwareTechnology
10
WebContents
?
6
CurriculumSoftwareTechnology2002
5
ThesisProject
5
MasterCourses
5
GenericProgramming
5 Area
4
ProgramTransformation
4
DataBaseArchitectures
49
EelcoVisser
2
DoaitseSwierstra
Sep 2003
307
42
0
34
WebHome
15
WelcomeToSoftwareTechnology2003
13
WebContents
?
13
DoctoraalSoftwareTechnology
12
MasterCourses
11
CurriculumSoftwareTechnology
11
AdvancedFunctionalProgramming
10
ThesisProject
10
ElectronicLibrary
9
HighPerformanceCompilers
8
SoftwareEngineering
28
EelcoVisser
10
DoaitseSwierstra
2
DaveClarke
1
PietVanOostrum
1
JurriaanHage
Oct 2003
266
37
0
155
ConcreteThesisProjects
22
XMLApplicationsOfGenericProgramming
16
WebHome
9
MasterCourses
5
ThesisProject
4
WelcomeToSoftwareTechnology2003
4
AdvancedFunctionalProgramming
3
WebIndex
3
ImplementationOfUHC
2
WebSearch
2
TypeSystems
14
JohanJeuring
8
EelcoVisser
8
DoaitseSwierstra
6
JurriaanHage
1
DaveClarke
Nov 2003
214
23
0
35
WebHome
20
ConcreteThesisProjects
9
XMLApplicationsOfGenericProgramming
8
ProgramTransformation
8
MasterCourses
7
ThesisProject
5
Tooling4CC
5
HighPerformanceCompilers
4
TypeSystems
4
SoftwareSpecification
4
SoftwareEngineering
11
DoaitseSwierstra
7
JohanJeuring
4
EelcoVisser
1
WishnuPrasetya
Dec 2003
258
4
0
81
WebHome
7
WebNews
6
WelcomeToSoftwareTechnology2003
6
TypeSystems
6
ThesisProject
6
SoftwareSpecification
6
NetworkedObjects
6
MasterCourses
6 Introduction
6
ConcreteThesisProjects
6 Area
3
DoaitseSwierstra
1
EelcoVisser
Jan 2004
162
0
0
119
WebHome
3
DistributedObjectSystems
2
WebSearch
2 Introduction
1
XMLApplicationsOfGenericProgramming
1
WelcomeToSoftwareTechnology2003
1
WebNews
1
WebIndex
1
WebChanges
1
TypeSystems
1
ThesisProject
Feb 2004
232
1
0
109
WebHome
4
CareerOpportunities
3
XMLApplicationsOfGenericProgramming
3
WelcomeToSoftwareTechnology2003
3
WebNews
3
WebContents
?
3
TypeSystems
3
ThesisProject
3 Supervision
3
StudentAdvisor
3
SoftwareSpecification
1
MerijnDeJonge
Mar 2004
861
1
0
157
WebHome
48
ThesisProject
44
MasterCourses
43
CurriculumSoftwareTechnology
31
SoftwareEngineering
26
SoftwareArchitecture
25 Admission
22
DistributedObjectSystems
19 Introduction
18
ColloquiumSoftwareTechnology
17
AutomaticProgramAnalysis
1
JurriaanHage
Apr 2004
2814
6
0
372
WebHome
194
ThesisProject
166
MasterCourses
131
CurriculumSoftwareTechnology
105
SoftwareEngineering
92
TypeSystems
81
AutomaticProgramAnalysis
78
SoftwareArchitecture
76 Admission
74
ProgramVerification
74
DistributedObjectSystems
4
DoaitseSwierstra
2
EelcoVisser
May 2004
3665
1
0
398
WebHome
182
ThesisProject
149
MasterCourses
136
CurriculumSoftwareTechnology
128
SoftwareEngineering
107
TypeSystems
96 Admission
94
ProgramVerification
90
ColloquiumSoftwareTechnology
90
AutomaticProgramAnalysis
89
DistributedObjectSystems
1
DoaitseSwierstra
Jun 2004
4104
80
0
464
WebHome
185
ThesisProject
179
CurriculumSoftwareTechnology2003
164
MasterCourses
125
SoftwareEngineering
100 Admission
99
FinalSteps
98 Introduction
92
ColloquiumSoftwareTechnology
89
DistributedObjectSystems
88
CareerOpportunities
50
EelcoVisser
16
DoaitseSwierstra
12
CorineWesselman
2
LexBijlsma
Jul 2004
4075
15
0
395
WebHome
183
ThesisProject
145
MasterCourses
143
FinalSteps
142
CurriculumSoftwareTechnology
113
SoftwareEngineering
103 Admission
96
SoftwareSpecification
90 Introduction
86
NetworkedObjects
85
ColloquiumSoftwareTechnology
13
CorineWesselman
1
EelcoVisser
1
DoaitseSwierstra
Aug 2004
5193
3
0
544
WebHome
266
MasterCourses
224
ThesisProject
207
SoftwareEngineering
202
CurriculumSoftwareTechnology
165
SoftwareSpecification
164
GenericProgramming
131 Admission
128
FinalSteps
128
ColloquiumSoftwareTechnology
105
CurriculumSoftwareTechnology2004
2
EelcoVisser
1
CorineWesselman
Sep 2004
5960
4
0
773
WebHome
388
MasterCourses
310
SoftwareEngineering
292
ThesisProject
228
CurriculumSoftwareTechnology
204
SoftwareSpecification
157
GenericProgramming
153 Admission
135
NetworkedObjects
127
EfficientImplementationOfFunctionalLanguages
127
ColloquiumSoftwareTechnology
2
WishnuPrasetya
2
DoaitseSwierstra
Oct 2004
6285
1
0
604
WebHome
323
ThesisProject
270
MasterCourses
247
CurriculumSoftwareTechnology
187
SoftwareEngineering
182
SoftwareSpecification
170 Admission
159
SoftwareArchitecture
150
ImplementationOfProgrammingLanguages
146
GenericProgramming
143 Introduction
1
CorineWesselman
Nov 2004
5210
4
0
528
WebHome
288
MasterCourses
230
ThesisProject
202
SoftwareArchitecture
191
CurriculumSoftwareTechnology
190
ImplementationOfProgrammingLanguages
148
SoftwareEngineering
146 Admission
145
SoftwareSpecification
125
DataBaseArchitectures
106
DistributedObjectSystems
4
WishnuPrasetya
Dec 2004
1399
7
0
270
WebHome
157
MasterCourses
51
CurriculumSoftwareTechnology
49
ImplementationOfProgrammingLanguages
48
ThesisProject
47
SoftwareEngineering
42
Admission
36
SoftwareSpecification
35
SoftwareArchitecture
27
Introduction
26
DataBaseArchitectures
4
EelcoVisser
2
MartinBravenboer
1
JurriaanHage
Feb 2005
4083
1
0
860
WebStatistics
468
WebHome
330
MasterCourses
120
CurriculumSoftwareTechnology
109
ThesisProject
96
Admission
94
ProgramTransformation
86
DistributedObjectSystems
78
ProgramVerification
75
BrochureSoftwareTechnology
65
SoftwareEngineering
1
EelcoVisser
Mar 2005
697
0
0
97
WebHome
33
MasterCourses
31
CurriculumSoftwareTechnology
18
WelcomeToSoftwareTechnology2003
18
Admission
17
WebSearch
16
SoftwareSpecification
16
Contacts
15
ThesisProject
14
BrochureSoftwareTechnology
14
ProgramTransformation
Apr 2005
4063
14
0
647
WebHome
249
MasterCourses
159
CurriculumSoftwareTechnology
148
Admission
142
ThesisProject
85
BrochureSoftwareTechnology
83
AdvancedFunctionalProgramming
81
GenericProgramming
79
SoftwareEngineering
76
ProgramTransformation
75
AutomaticProgramAnalysis
14
DoaitseSwierstra
Jun 2005
10074
2
0
1075
WebHome
621
MasterCourses
363
CurriculumSoftwareTechnology
356
ThesisProject
233
BrochureSoftwareTechnology
206
SoftwareSpecification
205
Admission
194
SoftwareEngineering
188
GenericProgramming
182
CareerOpportunities
179
TypeSystems
2
JurriaanHage
Jul 2005
10855
31
0
1202
WebHome
681
MasterCourses
360
ThesisProject
301
CurriculumSoftwareTechnology
270
BrochureSoftwareTechnology
257
Admission
204
GenericProgramming
202
SoftwareEngineering
196
TypeSystems
191
SoftwareSpecification
191
FinalSteps
29
JurriaanHage
1
EelcoVisser
1
DoaitseSwierstra
Oct 2005
7633
6
0
749
WebHome
316
MasterCourses
239
TypeSystems
223
ThesisProject
220
CurriculumSoftwareTechnology
164
SoftwareSpecification
155
BrochureSoftwareTechnology
146
Admission
144
SoftwareEngineering
139
SoftwareArchitecture
136
ProgrammingEnvironments
5
DoaitseSwierstra
1
JohanJeuring
Nov 2005
13545
0
0
1462
WebHome
556
MasterCourses
393
ThesisProject
358
CurriculumSoftwareTechnology
327
TypeSystems
305
ProgrammingEnvironments
304
WebStatistics
282
SoftwareSpecification
279
BrochureSoftwareTechnology
269
ImplementationOfProgrammingLanguages
265
WebNews
Dec 2005
15129
1
0
1373
WebHome
603
MasterCourses
508
ThesisProject
386
TypeSystems
374
CurriculumSoftwareTechnology
374
BrochureSoftwareTechnology
345
SoftwareSpecification
320
Admission
290
FinalSteps
289
WebNews
285
SoftwareEngineering
1
JohanJeuring
Jan 2006
14882
0
0
1270
WebHome
702
MasterCourses
497
WebStatistics
469
ThesisProject
368
CurriculumSoftwareTechnology
312
TypeSystems
312
BrochureSoftwareTechnology
303
SoftwareSpecification
302
WebLeftBar
290
Admission
261
WebNews
Feb 2006
20267
0
0
3256
WebStatistics
1592
WebHome
788
MasterCourses
557
ThesisProject
487
TypeSystems
447
CurriculumSoftwareTechnology
397
BrochureSoftwareTechnology
369
Admission
355
ProgramTransformation
341
SoftwareSpecification
324
ProgrammingEnvironments
Mar 2006
28164
0
0
2318
WebHome
1987
WebStatistics
1281
MasterCourses
755
ThesisProject
658
TypeSystems
657
BrochureSoftwareTechnology
622
CurriculumSoftwareTechnology
589
SoftwareSpecification
503
XMLApplicationsOfGenericProgramming
490
WebNews
481
ProgrammingEnvironments
Apr 2006
18718
15
0
2253
WebStatistics
1744
WebHome
957
MasterCourses
514
ThesisProject
471
TypeSystems
382
CurriculumSoftwareTechnology
366
BrochureSoftwareTechnology
365
ProgrammingEnvironments
322
Admission
318
XMLApplicationsOfGenericProgramming
311
ImplementationOfProgrammingLanguages
14
WishnuPrasetya
1
DoaitseSwierstra
May 2006
18421
47
0
1583
WebHome
1193
WebStatistics
845
MasterCourses
525
ThesisProject
466
TypeSystems
462
CurriculumSoftwareTechnology
432
BrochureSoftwareTechnology
345
SoftwareSpecification
336
Admission
309
ProgrammingEnvironments
298
CareerOpportunities
33
JurriaanHage
10
EelcoVisser
4
WishnuPrasetya
Jun 2006
18031
23
0
1659
WebHome
1328
WebStatistics
617
MasterCourses
591
ThesisProject
522
CurriculumSoftwareTechnology
446
TypeSystems
385
BrochureSoftwareTechnology
331
Admission
321
SoftwareSpecification
320
ProgrammingEnvironments
309
WebLeftBar
23
JurriaanHage
Jul 2006
17088
2
0
1646
WebHome
1354
WebStatistics
603
TypeSystems
553
MasterCourses
508
ProgrammingEnvironments
494
ThesisProject
458
CurriculumSoftwareTechnology
331
BrochureSoftwareTechnology
305
SoftwareEngineering
298
Admission
279
SoftwareSpecification
2
DoaitseSwierstra
Aug 2006
21158
9
0
3690
WebStatistics
2044
WebHome
844
MasterCourses
724
ThesisProject
496
CurriculumSoftwareTechnology
420
BrochureSoftwareTechnology
389
TypeSystems
387
WebLeftBar
378
XMLApplicationsOfGenericProgramming
368
CurriculumSoftwareTechnology2006
352
SoftwareSpecification
7
DoaitseSwierstra
2
LexBijlsma
Sep 2006
14586
45
1
1913
WebHome
607
MasterCourses
537
SoftwareEngineering
506
ThesisProject
441
SoftwareSpecification
360
SoftwareArchitecture
327
BrochureSoftwareTechnology
324
CurriculumSoftwareTechnology
319
ImplementationOfProgrammingLanguages
319
DistributedObjectSystems
303
WebStatistics
14
JeroenFokker
9
WishnuPrasetya
9
BastiaanHeeren
6
RobertVanHerk
6
LexBijlsma
2
DoaitseSwierstra
Oct 2006
20722
3
0
2503
WebStatistics
2035
WebHome
844
MasterCourses
628
ThesisProject
533
SoftwareEngineering
416
SoftwareSpecification
412
SoftwareArchitecture
402
PreparationForSoftwareTechnology
398
BrochureSoftwareTechnology
379
DistributedObjectSystems
366
ImplementationOfProgrammingLanguages
3
WishnuPrasetya
Nov 2006
22331
0
0
2427
WebStatistics
1830
WebHome
858
MasterCourses
649
ImplementationOfProgrammingLanguages
637
ThesisProject
485
SoftwareArchitecture
477
SoftwareEngineering
442
BrochureSoftwareTechnology
405
GenericProgramming
399
AdvancedFunctionalProgramming
395
CurriculumSoftwareTechnology
Dec 2006
20430
0
0
2367
WebStatistics
1356
WebHome
660
MasterCourses
564
ThesisProject
530
ImplementationOfProgrammingLanguages
494
SoftwareArchitecture
440
SoftwareEngineering
385
SoftwareSpecification
377
DataBaseArchitectures
370
AdvancedFunctionalProgramming
363
AutomaticProgramAnalysis
Jan 2007
15231
0
0
1234
WebHome
730
MasterCourses
532
ThesisProject
440
ImplementationOfProgrammingLanguages
428
SoftwareArchitecture
411
WebStatistics
400
SoftwareEngineering
343
DataBaseArchitectures
342
AdvancedFunctionalProgramming
331
DistributedObjectSystems
327
ProgramVerification
Feb 2007
15554
17
1
1335
WebHome
618
WebStatistics
593
MasterCourses
555
AdvancedFunctionalProgramming
512
ThesisProject
494
DataBaseArchitectures
435
SoftwareEngineering
420
ImplementationOfProgrammingLanguages
417
SoftwareArchitecture
357
CurriculumSoftwareTechnology
355
ProgramVerification
10
DoaitseSwierstra
7
JurriaanHage
1
AtzeDijkstra
Mar 2007
18894
6
0
1415
WebHome
686
AdvancedFunctionalProgramming
673
SoftwareEngineering
634
DataBaseArchitectures
612
SoftwareArchitecture
603
GenericProgramming
595
AutomaticProgramAnalysis
586
ProgramVerification
574
SoftwareSpecification
570
MasterCourses
564
ImplementationOfProgrammingLanguages
6
DoaitseSwierstra
Apr 2007
17654
1
0
2509
WebStatistics
1101
WebHome
606
MasterCourses
517
ThesisProject
460
GenericProgramming
433
AutomaticProgramAnalysis
373
AdvancedFunctionalProgramming
363
DataBaseArchitectures
352
ProgramVerification
351
SoftwareEngineering
345
CurriculumSoftwareTechnology
1
DoaitseSwierstra
May 2007
15733
4
0
1220
WebHome
595
MasterCourses
477
ThesisProject
439
GenericProgramming
417
AutomaticProgramAnalysis
380
SoftwareEngineering
362
SoftwareArchitecture
351
ImplementationOfProgrammingLanguages
334
DistributedObjectSystems
331
CurriculumSoftwareTechnology
331
BrochureSoftwareTechnology
4
DoaitseSwierstra
Jun 2007
15608
22
0
1141
WebHome
480
ThesisProject
470
MasterCourses
408
CurriculumSoftwareTechnology
405
SoftwareEngineering
388
GenericProgramming
344
DistributedObjectSystems
335
SoftwareSpecification
329
AutomaticProgramAnalysis
324
SoftwareArchitecture
321
AdvancedFunctionalProgramming
20
DoaitseSwierstra
2
JohanJeuring
Jul 2007
12654
3
0
874
WebHome
427
ThesisProject
416
WebStatistics
412
MasterCourses
340
GenericProgramming
323
SoftwareEngineering
274
SoftwareArchitecture
270
DistributedObjectSystems
268
Admission
262
CurriculumSoftwareTechnology
257
SoftwareSpecification
2
JurriaanHage
1
DoaitseSwierstra
Aug 2007
5123
9
0
824
WebHome
212
ThesisProject
192
SoftwareEngineering
147
MasterCourses
137
CurriculumSoftwareTechnology
135
SoftwareArchitecture
129
SoftwareSpecification
119
DistributedObjectSystems
109
Admission
103
ImplementationOfProgrammingLanguages
98
AspectOrientedProgramming
5
AndresLoeh
2
WishnuPrasetya
1
AtzeDijkstra
1
PietVanOostrum
Sep 2007
6790
23
0
968
WebHome
637
SoftwareEngineering
330
IntroductionToFunctionalProgrammingAndGrammarsAndParsing
266
DistributedObjectSystems
252
CurriculumSoftwareTechnology
200
SoftwareSpecification
187
TypeSystems
174
ThesisProject
157
GenericProgramming
157
ImplementationOfProgrammingLanguages
156
SoftwareArchitecture
20
DoaitseSwierstra
2
AtzeDijkstra
1
WishnuPrasetya
Oct 2007
5066
31
0
804
WebHome
488
SoftwareEngineering
270
IntroductionToFunctionalProgrammingAndGrammarsAndParsing
174
ThesisProject
161
DistributedObjectSystems
154
ImplementationOfProgrammingLanguages
133
SoftwareArchitecture
122
SoftwareSpecification
120
CurriculumSoftwareTechnology
118
TypeSystems
106
AdvancedFunctionalProgramming
11
WishnuPrasetya
11
AndresLoeh
3
JurriaanHage
2
AtzeDijkstra
2
JohanJeuring
1
PietVanOostrum
1
DoaitseSwierstra
Nov 2007
3775
12
0
469
WebHome
246
ImplementationOfProgrammingLanguages
193
SoftwareEngineering
192
SoftwareArchitecture
120
NetworkedObjects
115
ThesisProject
114
DistributedObjectSystems
111
CurriculumSoftwareTechnology
103
IntroductionToFunctionalProgrammingAndGrammarsAndParsing
87
SoftwareSpecification
79
AdvancedFunctionalProgramming
12
WishnuPrasetya