Specification by Interface Separation.
Ian J. HayesJeff W. SandersPublished in: Formal Aspects Comput. (1995)
Keyphrases
- formal specification
- user friendly
- high level
- user interface
- data sets
- friendly interface
- graphical interface
- specification language
- real time
- interface design
- machine learning
- natural language interface
- cross platform
- computer interface
- data structure
- software engineering
- information systems
- learning algorithm
- query interface
- human computer interface
- neural network
- asynchronous circuits