dc.contributor.author | Britton, C. | |
dc.contributor.author | Jones, S. | |
dc.contributor.author | Myers, M. | |
dc.contributor.author | Sharif, M. | |
dc.date.accessioned | 2011-01-05T09:12:08Z | |
dc.date.available | 2011-01-05T09:12:08Z | |
dc.date.issued | 1996 | |
dc.identifier.citation | Britton , C , Jones , S , Myers , M & Sharif , M 1996 , An investigation into the measurement of notations used in software modelling . UH Computer Science Technical Report , vol. 257 , University of Hertfordshire . | |
dc.identifier.other | PURE: 86702 | |
dc.identifier.other | PURE UUID: 54f93e50-7bef-44cd-b0b3-015ed9a771c4 | |
dc.identifier.other | dspace: 2299/5099 | |
dc.identifier.uri | http://hdl.handle.net/2299/5099 | |
dc.description.abstract | Measurement systems for software abound in the literature as do those for models in specification languages. This report applies measurement to the formal notations themselves making use of the principle of model-based measurement. Formality implies the use of mathematics. Any notation which relies in a branch of mathematics is therefore formal to a lesser or greater degree depending on the scope of the branch of mathematics chosen and whether a deductive mechanism is included to allow reasoning on the model. | en |
dc.language.iso | eng | |
dc.publisher | University of Hertfordshire | |
dc.relation.ispartofseries | UH Computer Science Technical Report | |
dc.title | An investigation into the measurement of notations used in software modelling | en |
dc.contributor.institution | School of Computer Science | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |