|
|
|
Overview
|
| The International Institute for Software Technology of the United Nations University (UNU/IIST),
the University of York, the Ecole Nationale d'Ingénieurs de Tunis - University Tunis El Manar
are jointly organising a School on Refinement techniques for software engineering, with emphasis on
formal methods.
|
| Refinement (or reification) describes the verifiable relationship between a specification
and its implementation; it also describes the process of discovering
appropriate implementations, given a specification.
Thus, in one way or another, refinement is at the heart of the programming process, and
so is the major daily activity of every professional software engineer.
The Summer School and its proceedings are intended to give
a detailed tutorial introduction to the scientific basis of this
activity.
|
| The school consists of an introductory lecture and five courses of a duration of approximately
6 hours each, which cover concurrency, real time, model checking, and object orientation.
Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement,
industrial applications and refinement tools.
|
| The school will be held at the
Tunis Science City,
which is located in downtown Tunis, near the
Ecole Nationale d'Ingénieurs de Tunis - University Tunis El Manar,
Campus Universitaire de Tunis El Manar.
|
| All participants will receive the LNCS volume that contains the course materials and an attendance certificate.
|
| A final examination will be organised for those participants who request it.
Participants who will successfully undertake examination will receive a school certificate.
|
|