 | Duration Calculus: A Logical Approach to Real-Time Systems |
| 
| Course Descriptions |
| 
| Advanced RAISE Course |
|  | UNU-IIST Home |
|
| Design Calculi for Telecommunications |
II/2/1/3 Design Calculi for Telecommunications
The aims of UNU/IIST's DesCaRTeS research
programme (II/1/1/2) are primarily to enhance the possibilities
for advanced analysis of the behavioural properties of
telecommunications systems described in SDL (Specification and
Description Language), including time related properties, and to turn
SDL into a fully-fledged design calculus by adding rules of reasoning
to it, thus enabling design steps to be justified by formal verification if
appropriate. UNU/IIST offers a short course (Beyond SDL) and an
extended course plus workshop (the DesCaRTeS seminar) which
complement this programme. In addition to the general aims of
UNU/IIST's courses, these both aim to propagate research into formal,
design calculi oriented techniques for software development in the
telecommunications area.
iistinfo@iist.unu.edu, November 1997
| Design Calculi for Telecommunications |
| Duration Calculus: A Logical Approach to Real-Time Systems |
| |
| Course Descriptions |
| |
| Advanced RAISE Course |
| | UNU-IIST Home |
|