TY - GEN
T1 - Formally specifying real-time Ada software
AU - Hinchey, Michael G.
N1 - Publisher Copyright:
© 1994 IEEE.
PY - 1994
Y1 - 1994
N2 - A formal design method, based on an extended version of Receptive Process Theory, which is suitable for use in the design of real-time systems is described. The method is particularly appropriate for use with Ada software, as it can fully exploit Ada's advanced features such as tasking, multiple entry-points, exception handling, etc., and also supports asynchronous communication.
AB - A formal design method, based on an extended version of Receptive Process Theory, which is suitable for use in the design of real-time systems is described. The method is particularly appropriate for use with Ada software, as it can fully exploit Ada's advanced features such as tasking, multiple entry-points, exception handling, etc., and also supports asynchronous communication.
UR - http://www.scopus.com/inward/record.url?scp=85064575709&partnerID=8YFLogxK
U2 - 10.1109/RTA.1994.316139
DO - 10.1109/RTA.1994.316139
M3 - Conference contribution
AN - SCOPUS:85064575709
T3 - Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994
SP - 39
EP - 44
BT - Proceedings of 2nd IEEE Workshop on Real-Time Applications, RTA 1994
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2nd IEEE Workshop Real-Time Applications, RTA 1994
Y2 - 21 July 1994 through 22 July 1994
ER -