The Computer Journal 1989 32(5):399-412; doi:10.1093/comjnl/32.5.399
© 1989 by British Computer Society
Implicit System Specification and the Interface Equation
M. W. Shields *
Electronic Engineering Laboratories, The University, Canterbury, Kent CT2 7NT, UK
This paper investigates a method of systems design via implicit specification and develops mathematical theory for the solution of a particular kind of context equations which could be used to automate the design of interfaces.
Received April 1987.
* Electronic Engineering Laboratories, The University, Canterbury, Kent CT2 7NT

CiteULike
Connotea
Del.icio.us What's this?
Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our
Customer Services Department.