Abstract
Previously we demonstrated model-based measurement on simple examples, and discussed the notion of a model-based measurement scheme and its role in the validation of measures. We showed that a model-based measurement scheme is already implicit in mature disciplines whose models, theories and metrology are well established. The general applicability of model-based measurement indicates that one may also devise model-based measurement schemes for new fields of application, where such foundations are lacking.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Goldschlager L, Lister A (1982): “Computer Science: A Modern Introduction.” Prentice Hall International.
Tanenbaum A (1984): “Structured computer organization”, Prentice Hall International.
Proc. 1st International Conference on Practical Application of Prolog - Section: “Prolog 1000”, April 1992, London. Institute of Civil Engineers.
Cunningham R, Finkelstein A, Goldsack S, Maibaum T, and Potts C (1986): Formal Requirements Specification - The FOREST Project. Proc IEEE Third InternationalWorkshop on Specification and Design, pp 186–192. IEEE Comp Soc Press.
Knott R D, P J Krause (1988): “An approach to animating Z using Prolog”. Report No Al.l, Alvey Project SE/065.
White A P (1983): “Evaluation of Prolog as a rapid prototyping language for formal specification”. MSc dissertation, Manchester University.
Papapanagiotakis G, Azema P, Pradin-Chezalviel B (1986): “Prepositional branching time temporal logic in Prolog”. (Lab d’Autom. et d’Anal. des System. CNRS, Paris, France. 5th Annual International Phoenix Conference on Computers and Communication PCCCC’86 1986 Conf. Proceedings Scottsdale, AZ USA March 1986 Washington DC USA IEEE Comp Soc Press, p 371–7.
Goble T (1989): “Structured systems analysis through Prolog”. Prentice Hall.
Kowalski R (1974): “Predicate logic as a programming language”. Proceedings of the IFIP Congress, Stockholm, Amsterdam, Holland, pp 569-574, North-Holland.
Robinson J A (1965): “A machine-oriented logic based on the resolution principle”. Journal of the ACM, Vol. 12, No. 1, pp 23 - 41.
D H D Warren (1977): “Implementing Prolog - compiling logic programs”. Research Reports 39 and 40, Dept. of AI, University of Edinburgh.
Roussel P (1975): Prolog: “Manuel de Reference et d’Utilisation. Groupe d’Intelligence Artificielle”, Universite d’Aix-Marseille, Luminy, Sept. 1975.
Hogger C (1990): “Essentials of Logic Programming”, Clarenden Press.
Bratko, I (1986): “Prolog Programming for Artificial Intelligence”. Addison-Wesley.
Clocksin W F, Mellish C S (1984): “Programming in Prolog”. Springer-Verlag.
Stirling L, Shapiro E (1986): “The art of Prolog”. MIT Press, Cambridge, Mass.
van Emden M H, Kowalski R A (1976): “The semantics of predicate logic as programming language” Journal of the ACM 23 (4), pp 733–742.
Hogger C (1987): “Prolog and Software Engineering”. Microprocess and Microsystem, GB vol 11 No 6 p 308–18 July–Aug.
Kowalski, R (1979): “Logic for Problem Solving”. North-Holland.
Draft expected.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag London Limited
About this chapter
Cite this chapter
Kaposi, A., Myers, M. (1994). Constructing a Measurement Scheme. In: Systems, Models and Measures. Formal Approaches to Computing and Information Technology (FACIT). Springer, London. https://doi.org/10.1007/978-1-4471-1977-7_6
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1977-7_6
Publisher Name: Springer, London
Print ISBN: 978-3-540-19753-9
Online ISBN: 978-1-4471-1977-7
eBook Packages: Springer Book Archive