Curriculum Software Technology 2006 a

Master
%TOC%

-------++ Introduction

%STARTINCLUDE%
The master program Software Technology takes two years of study and
has a total size of 120 European study points (ECTS). 

The academic year is structured into four periods. In each period a students usually takes takes two courses of 7.5 ECTS each.
The structure of a typical program is summarized by the following table: (see however [[http://www.cs.uu.nl/education/index.php]])

| *Period*    | *Year 1*              |    
| 1           | %RED% [[SoftwareEngineering][SWE]] %ENDCOLOR% [[Distributed Object Systems][DOS]] [[SoftwareSpecification][SWS]] [[Preparation For Software Technology][PST]] | 
| 2           | %RED% [[SoftwareArchitecture][SWA]] %ENDCOLOR% %RED% [[ImplementationOfProgrammingLanguages][IPL]] %ENDCOLOR% | 
| 3           | [[AdvancedFunctionalProgramming][AFP]] [[ProgramVerification][PV]] [[DataBaseArchitectures][DBA]]  | 
| 4           | [[AutomaticProgramAnalysis][APA]] [[GenericProgramming][GP]] _TBA_ | 
| *Period*    | *Year 2*              |
| 1           | Seminar / other       |
| 2           | Thesis Proposal       |
| 3           | Research              |
| 4           | Thesis Writing        |

The course _TBA_ above stands for a course of as yet unknown content that will be an alternative
for the course Program Transformation.

It is important to realize that the following explanation 
of the master curriculum is a general one, and every
study plan that follows it is allowed by default. Depending on 
requirements and knowledge of the student, he and the study advisor
can agree to divert from the standard.

It is possible to start the program in February (period 3), but if you 
must do the Deficiency course (this is often the case for foreigners and people
coming from HIO/HBO), then it makes no sense, because that course is only offered in September.
If you have no defeciencies in functional programming, grammars and parsing and 
program correctness, then starting in February is no problem. If you are unsure
whether you are deficient contact the study advisor.

Seminars are not restricted to period 1: other periods also offers a number
of seminars. Consult the list of seminars below to see what is offered this year.

-------++ Courses (75 ECTCS)

----+++ Deficiencies or Electives (15 ECTCS)

Students with deficiencies in the entrance requirements of the ST
program can take upto two courses to remedy those deficiencies.
Students without a computer science bachelor from Utrecht University,
typically lack one or more of the following courses:

   * Functional programming
   * Grammars and parsing
   * Programmming and correctness

These deficiencies can be resolved by following the special course (15 ECTS)
[[http://www.cs.uu.nl/docs/vakken/pst/][PST]] in period 1.

Students without deficiencies (which includes all students with a
computer science bachelor from Utrecht University) can use this space
in the curriculum for elective courses to be filled in with courses
from the ST program or from other master programs.

----+++ Mandatory Courses (22.5 ECTS)

The following courses are required for all ST students:

   * [[Software Engineering]]
   * [[Software Architecture]]
   * [[Implementation of Programming Languages]]

If one or more of these courses have already been taken as part of the
bachelor program, or equivalent courses have been taken elsewhere,
courses from the list of _advanced courses_.

-----+++ Advanced ST Courses (22.5 ECTS)

At least three of the following courses should be taken.

   * [[Advanced functional programming]]
   * [[Automatic program analysis]]
   * [[Data base architectures]]
   * [[Distributed object systems]]
   * [[Generic programming]]
   * [[Program verification]]
   * [[Software specification]]

Courses from this list can also be used to fill in the electives. 
Courses used to substitute for mandatory courses do not count towards
filling the credits for this part of the curriculum.
Note that the course Complex Data has been merged with the course Database Architectures.

-----+++ Seminar (7.5 ECTS)

In preparation for their thesis project students take
two seminars or one seminar and an advanced ST course. Seminars
usually take the form of small study groups in which a subject is
studied in depth and may also have a practical component. The subjects
are usually closely linked to the research conducted in the CST and
follow up on earlier courses in the program.

In 2006-2007 (usually for students arrived in 2005) the following seminars 
will be given:

   * [[Efficient Implementation of Functional Languages]] (period 1)
   * [[Fosa.WebHome][Feedback Oriented Static Analysis]] (period 1)
   * [[Networked Objects]] (period 2)
   * [[Aspect Oriented Programming]] (period 2)
   * [[Data Base Architectures]] (period 3)

Note that Data Base Architecures can be used either as a seminar or as
an advanced ST course, but not both at the same time. The student is free to 
choose how he uses it, though.
 
----+++ Free Choice (7.5 ECTS)
In order to allow for sufficient flexibility in your planning you can choose between the following options:
   * an extra seminar
   * an [[Experimentation Project]]
   * an additional ST course
-----++ Thesis Project (45 ECTS)

In the final thesis project a student performs research under the
supervision of one of the staff members of the center. The project can
be conducted in the ST-Lab of the center, in a company, or (partly) in
a related (foreign) research group.

Thesis projects are structured in three phases: colloquium, proposal,
and research. See further below  for additional information about this part
of the curriculum if you are a doctoral student. 

-------+++ Software Technology Colloquium (5 ECTS)

In order to prepare for the thesis project and get a broad overview of
ongoing research in the Center and beyond, students attend the weekly
[[Stc.WebHome][Software Technology Colloquium]]. This colloquium provides a broad
overview of interesting results in the ST area by means of research
talks and paper presentations by internal and external speakers. Each
student should attend at least 30 colloquium sessions, give one
colloquium presentation about a topic of choice, and write a literature
study about this topic. [[Stc.LiteratureList][Here]] you can find a list
of possible papers/programs/libraries to discuss. It is important
that you first find a staff member or PhD student to judge your work, and 
start off on your own.

-------+++ Thesis Proposal (10 ECTS)

After the colloquium obligations have been fulfilled, and with at most 7.5 ECTS op course obligations left,  a topic for a thesis project can be chosen. Before actually
starting the research, a student writes a _thesis proposal_ containing
a problem statement for the proposed research, positioning of the
research with respect to other research, an overview of the literature
in the field, and a planning for the project. The proposal should be
accepted by the thesis committee before the project can start.

-------+++ Research and Thesis (30 ECTS)

The final part of the project consists of performing the research
according to the plan in the thesis proposal and writing a thesis
about the result. Relevant parts of the proposal will typically find
their way into the thesis. The project is finished with a defense
of the thesis before the thesis committee.

Courses or seminars taught inside the department and not mentioned below may be 
approved upon explicit request, especially in relation with the choice of a specific thesis area.

%STOPINCLUDE%

-------++ Advise for Specific Groups

-------+++ Bachelor degree in Computer Science from Utrecht University

If you have such a bachelor degree you can enter the program without
explicit permission.  Please register by sending an email to the [[student advisor]] 
including a letter of motivation for your choice and a plan
with the courses you will take in the first year of the program.  If
you have not yet finished your bachelor program at the start of the fourth
year of study, please include a plan for finishing the last courses.

In case you have already taken one or more of the mandatory courses as part of your 
Bachelors degree you should substitute courses from the list of advanced ST
courses.

-------+++ 'Doctoraal' Students Computer Science from Utrecht University

Students who started their (undergraduate) studies before 2002 are not yet taking
part in the bachelor/master system. These students can and are advised to follow 
the master curriculum as described above after finishing the first three years
of the CS curriculum. For those students insisting on studying according to the
old 'OER', the rules for the Software Technology 'afstudeerrichting' are described
in:

   * [[DoctoraalSoftwareTechnology]]

Of note to students who are still doing the <b>4-year doctoral program</b>, is that in their
case the master thesis project only gives 31,5 ects, and not 40 or 45.

-------+++ HIO Students (Students from Dutch Polytechnic Schools)

Students from the HIO in general have taken a good amount of
project-oriented courses. These students are advised to follow the
technical courses to best complement their prior education. Usually deficiencies
exist in functional programming and grammars and parsing, which should be remedied
by taking these courses early in the master program.

-------+++ Technische Bedrijfskunde / Business Informatics

Students with a background in business informatics who show to have
affinity and experience in programming in addition to their formal
education may be addmitted to the program. For these students it might
be advisable to take some additional courses from the bachelor program.

-- Main.JurriaanHage - 04 Jul 2005


-- Main.DoaitseSwierstra - 20 Feb 2007