© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Computer Science: Publication Index 1985
- Specification and verification using higher-order logic. F. K. Hanna and N. Daeche. In Koomen and Moto-oka, editors, Computer Hardware Description Languages and their Applications, pages 182-196. North Holland, 1985.
- People and Computers: Designing the Interface. P Johnson and S J Cook. In Proceedings of HCI85: the Conference of the BCS Human Computer Interaction Specialist Group, pages 182-196. Cambridge University Press, September 1985.
- Five Essays on Occam. P.H. Welch. Occam User Group Newsletter, 2:182-196, January 1985. Also Internal Report, Training Department, GEC Avionics Ltd., Airport Works, Rochester, KENT ME2 1XX.
- Structured Tasking in Ada?. P.H. Welch. Ada Letters, 5(1):182-196, July 1985.
- The Effect of New Real-Time Software Engineering Methodologies on Marconi Avionics - Final Report. P.H. Welch. Technical report, Royal Society/SERC Industrial Fellowship (B/IF/43), June 1985.