Proceedings of the 1999 International Workshop on Real-Time Constraints (RTC'99)

Prologue (Including Internal Cover Page, Copyright Notice, Organizing Committee, Foreword, Table of Contents; totally 5 pages.)

On the Need for Practical Formal Methods
Dr. Constance L. Heitmeyer

Solving Cyclic Constraints Stavros Tripakis	1
Design Approach for Real-Time Reactive Systems Mika Katara and Tommi Mikkonen	11
A Formal UML Package for Specifying Real-Time System Constraints Gopal Raghavan and Maria M. Larrondo-Petrie	21
Duration Calculus in COOZ: A Formal Specification Language for Real-Time Systems Xiaodong Yuan and Ying Feng	33
State-Graph Manipulators Pao-Ann Hsiung and Farn Wang	40

Real-Time System Constraints: Where do They Come From and Where do They Go? Cecilia Ekelin and Jan Jonsson

53

Hard-copies of RTC'99 Proceedings are available. If you need one, please write an e-mail to the RTC'99 Organizers.

If you have any questions regarding the RTC'99 proceedings and copyright information, please write to RTC'99 Organizers. Thank you!!!