Bosua, R; Du Plessis, A.L
(South African Institute of Computer Scientists and Information Technologists, 1991)
Specification languages to be used in conjunction with Ada as the implementation language have been proposed in the literature. Simultaneously, methods for the development of real-time software systems have been introduced, ...