A knowledge-based system for computer-aided production of measuring instrument specifications
- 30 June 1993
- journal article
- Published by Elsevier in Measurement
- Vol. 11 (3) , 235-255
- https://doi.org/10.1016/0263-2241(93)90042-g
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A methodology for formulating measuring instrument specificationsMeasurement, 1993
- Using expert systems to construct formal specificationsIEEE Expert, 1989
- Automatic generation of measuring instrument specificationsMeasurement, 1988
- A 15 Year Perspective on Automatic ProgrammingIEEE Transactions on Software Engineering, 1985
- Prototypical knowledge for expert systemsArtificial Intelligence, 1983
- Specification and Verification of Communication Protocols in AFFIRM Using State Transition ModelsIEEE Transactions on Software Engineering, 1982