A Formal Specification Medium

Name: A Formal Specification Medium
Keywords: 4. Education

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 01 Jan 1994 English Publisher:Springer London

Authors: Agnes Kaposi; Margaret Myers;

doi: 10.1007/978-1-4471-1977-7_7

A Formal Specification Medium

- Summary
- Metrics

Abstract

To demonstrate the multiple-language measurement strategy described in Chapter 6, we must choose and use a reference language. Prolog has been shown to be suitable for the purpose, and although it is not our aim to teach the reader Prolog, we must explain its properties in just sufficient detail to demonstrate its role in the measurement strategy.

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average