CCECE02: Technical Program: Sessions: Monday Morning: TA6


	May 12 to 15, 2002 Hotel Fort Garry, Winnipeg, Manitoba, Canada

TECHNICAL PROGRAM

TA6 Oral Session:
Real-Time Systems

Tuesday Afternoon, May 14
Time: Room:	15h40 - 17h00 Salon AB	Chairs:	F. Ngolah Y. Wang

TA6.1 (309) 15h40 - 16h00
RTPA: A new approach to real-time system specification
Wang, Y.
The Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, University of Calgary, Calgary, Canada

IEEE CCECE02 Proceedings; ISBN: 0-7803-7514-9; vol. 2, pp. 663-668

TA6.2 (451) 16h00 - 16h20
Formal specification of a real-time lift dispatching system
Wang, Y. and Ngolah, F.*
The Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, University of Calgary, Calgary, Canada
*Department of Computer Science, University of Buea, Republic of Cameroon

IEEE CCECE02 Proceedings; ISBN: 0-7803-7514-9; vol. 2, pp. 669-674.

TA6.3 (452) 16h20 - 16h40
Case studies on translation of RTPA specification into Java programs
Wang, Y. and Wu, W.*
The Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, University of Calgary, Calgary, Canada
*Alta Vista Search Company, Calgary, Canada

IEEE CCECE02 Proceedings; ISBN: 0-7803-7514-9; vol. 12, pp. 675-680

TA6.4 (453) 16h40 - 17h00
Design and implementation of an Web-based distributed control system
Chen, L. and Wang, Y.
The Theoretical and Empirical Software Engineering Research Centre (TESERC), Department of Electrical and Computer Engineering, University of Calgary, Calgary, Canada

IEEE CCECE02 Proceedings; ISBN: 0-7803-7514-9; vol. 2, pp. 681-686