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)
Software Specification
Master
Softwarespecificatie
| Website: | website containing additional information | |||||||||||||||
| Course code: | INFOSWS | |||||||||||||||
| Credits: | 7.5 ECTS | |||||||||||||||
| Period: | periode 1 (week 36 t/m 45, dwz 3-9-2009 t/m 6-11-2009; herkansing week 52) |  | ||||||||||||||
| Timeslot: | B | |||||||||||||||
| Participants: | up till now 16 subscriptions | |||||||||||||||
| Schedule: | Note: from now on the schedule is to be found in Osiris | |||||||||||||||
| Teachers: | Dit is een oud rooster!
| |||||||||||||||
| Contents: | When we implement software, what is it we are implementing?
When a software house has a contract to deliver a system, what
should the contract state about the system? Can a customer
prove that the system as delivered does not meet the contractual
obligations?
Software Specification is concerned with defining in a precise way the required properties of software, independent of the details or particulars of how it is implemented. The course will not concentrate on any specification formalisms. Sufficiently unambiguous natural language, and normal mathematical notation, where appropriate, will suffice. | |||||||||||||||
| Literature: | See CourseLiterature | |||||||||||||||
| Course form: | This is a hands-on course.
The idea is that we will collectively try to produce specifications
for non-trivial case studies.
For each selected case the students will
construct specifications, working in small groups. Then we will
collectively look at the results, attempt to poke holes in them,
and try to combine the best of each.
The second half of the course will be concerned with a project, extending over several weeks, in which a larger case study is done involving a multi-component system. | |||||||||||||||
| Exam form: | In-class presentations (50%); final assignment (50%). | |||||||||||||||
| Minimum effort to qualify for 2nd chance exam: | Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 4 zijn. | |||||||||||||||
| Description: | Topics:
| |||||||||||||||
