DURRA : A Task-Level Description Language

This research is carried out jointly by the Software Engineering Institute, a Federally Funded Research and Development Center, sponsored by the Department of Defense, and by the Department of Computer Science, sponsored by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 4976, monitored by the Air Force Avionics Laboratory Under Contract F33615-84-K-1520. Additional support for J.M. Wing was provided in part by the National Science Foundation under grant DMC-8519254.

[1]  James J. Horning,et al.  The Larch Family of Specification Languages , 1985, IEEE Software.

[2]  Steven A. Shafer,et al.  An architecture for sensor fusion in a mobile robot , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[3]  Robert G. Stockton.  The Heterogeneous Machine Simulator , 1986 .

[4]  Jeannette M. Wing,et al.  Specifying Functional and Timing Behavior for Real-Time Applications , 1987, PARLE.