© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 418-433. 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. Cambridge University Press, September 1985.
- Five Essays on Occam. P.H. Welch. Occam User Group Newsletter, 2, 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), 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.