University of Hertfordshire Research Archive

        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UHRABy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

        Arkivum Files

        My Downloads
        View Item 
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item

        An investigation into the measurement of notations used in software modelling

        View/Open
        CSTR 257.pdf (PDF, 3Mb)
        Author
        Britton, C.
        Jones, S.
        Myers, M.
        Sharif, M.
        Attention
        2299/5099
        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.
        Publication date
        1996
        Other links
        http://hdl.handle.net/2299/5099
        Metadata
        Show full item record
        Keep in touch

        © 2019 University of Hertfordshire

        I want to...

        • Apply for a course
        • Download a Prospectus
        • Find a job at the University
        • Make a complaint
        • Contact the Press Office

        Go to...

        • Accommodation booking
        • Your student record
        • Bayfordbury
        • KASPAR
        • UH Arts

        The small print

        • Terms of use
        • Privacy and cookies
        • Criminal Finances Act 2017
        • Modern Slavery Act 2015
        • Sitemap

        Find/Contact us

        • T: +44 (0)1707 284000
        • E: ask@herts.ac.uk
        • Where to find us
        • Parking
        • hr
        • qaa
        • stonewall
        • AMBA
        • ECU Race Charter
        • disability confident
        • AthenaSwan