Implicit System Specification and the Interface Equation
Open Access
- 1 January 1989
- journal article
- research article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 32 (5) , 399-412
- https://doi.org/10.1093/comjnl/32.5.399
Abstract
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.Keywords
This publication has 0 references indexed in Scilit: