++++++++++++++++++++++++++++++++++++++++++++++
            +   Department of Computer Science Seminar   + 
            ++++++++++++++++++++++++++++++++++++++++++++++ 

0. Calendar Manager Info:

        Date:   Mon Dec 09 1996
        Start:  1600
        End:    1700
        What:   ANU DCS Seminar -  Ian Hayes
	        Coercing Real-Time Refinement
                
1. Speaker: Dr Ian Hayes
            Department of Computer Science, The University of Queensland

2. Time:     4:00pm - 5:00 pm, Monday, 9th December 1996 

3. Place:    Room N101 in the Department of Computer Science
             Ground Floor, CSIT Building, ANU

4. Title:    Coercing Real-Time Refinement

5. Target Audience: Honours students and above

6. Abstract: 

Our overall goal is to support the development of real-time programs
from specifications via a process of stepwise refinement.  One problem
in developing a real-time program in a high-level programming language
is that it is not possible to determine the detailed timing
characteristics of the program until the compiler and target machine
are taken into account.  To overcome this problem the programming
language can be augmented with directives specifying real-time
constraints; it is a compile-time error if the compiler cannot
guarantee that the generated code will meet them.

During the refinement process the timing directives are inserted into
the program in order to ensure it meets its specification.  In this way
timing constraints can be separated out at the appropriate points in
the refinement process. This allows the remainder of the refinement
process to be similar to normal sequential refinement.

This is joint work with Dr Mark Utting, Department of Computer
Science, The University of Waikato, New Zealand.

7. Biography

Ian Hayes' research interests are in specification, and methods for
refining a specification to code.  He has a particular interest in
methods for specifying and refining real-time systems.  Dr Hayes has
been with the Department of Computer Science, The University of
Queensland since 1985. He is currently a Reader there.

8. Contact:

   For more information contact Trevor Vickers, trev[at]cs.anu.edu.au

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
You have a seminar to announce? Send mail to seminars-owner[at]cs.anu.edu.au
  Please follow the above format.  DCS seminar announcements appear at 
               http://cs.anu.edu.au/lib/seminars/seminars96/
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=