Skip to main content
SpringerLink
Log in

Formal Aspects of Measurement

Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. Tim Denvir

    1. Translimina Ltd, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rosalind Herman

    1. Humanities Programme, Imperial College, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Robin W. Whitty

    1. Centre for Systems and Software Engineering, South Bank University, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Principles of Measurement

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Software Measurement: Why a Formal Approach?

      • Norman Fenton
      Pages 3-27

    3. Never mind the metrics what about the numbers!

      • Barbara Kitchenham
      Pages 28-37

    4. Moving From Philosophy to Practice in Software Measurement

      • James Bieman, Norman Fenton, David Gustafson, Austin Melton, Robin Whitty
      Pages 38-59

  3. Formal Measurement in Practice

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. Deriving Measures of Software Reuse in Object Oriented Systems

      • James M. Bieman
      Pages 63-83

    3. Language Independent Definition of Axiomatic Metrics

      • Norbert Fuchs, Sieglinde Stainer
      Pages 84-107

    4. Complexity Measures on Trees

      • Michael D. Rice
      Pages 108-115

    5. Multi-dimensional Software Metrics

      • Robin Whitty
      Pages 116-141

  4. Measurement Validation/Verification

    1. Front Matter

      Pages 143-143
      Download chapter PDF

    2. A Critique of Validation/Verification Techniques for Software Development Measures

      • David A Gustafson, Ramon Mata Toledo, Richard E Courtney, Naim Temsamani
      Pages 145-156

    3. Algebraic Models and Metric Validation

      • Martin Shepperd
      Pages 157-175

  5. Foundations

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Properties of Software Measures

      • David A. Gustafson, Baba Prasad
      Pages 179-193

    3. Specifying Internal, External, and Predictive Software Metrics

      • Austin Melton
      Pages 194-208

    4. The Mathematics of Measurement in Software Engineering

      • Meg Russell
      Pages 209-218

    5. Measurement Theory and Software Measures

      • Horst Zuse, Peter Bollmann-Sdorra
      Pages 219-259

  6. Back Matter

    Pages 261-263
    Download chapter PDF
Back to top

Keywords

About this book

This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS). In addition, there are five papers which have been included because of their relevance to the subject of the workshop. The book represents something of a landmark in software engineering research. The British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS) has an established reputa­ tion among researchers in formal methods of software specification, design and validation. These researchers have not in the past paid much attention to software measurement. Perhaps software measurement re­ search was felt to have emphasised its management potential at the expense of proper scientific foundations? At any rate, for the FACS group to host a workshop in this field is recognition of the significant body of formal measurement theories and techniques which has now become available to software engineers.

Editors and Affiliations

  • Translimina Ltd, London, UK

    Tim Denvir

  • Humanities Programme, Imperial College, London, UK

    Rosalind Herman

  • Centre for Systems and Software Engineering, South Bank University, London, UK

    Robin W. Whitty

Bibliographic Information

  • Book Title: Formal Aspects of Measurement

  • Book Subtitle: Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

  • Editors: Tim Denvir, Rosalind Herman, Robin W. Whitty

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3205-9

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1992

  • Softcover ISBN: 978-3-540-19788-1Published: 28 August 1992

  • eBook ISBN: 978-1-4471-3205-9Published: 06 December 2012

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VIII, 259

  • Topics: Mathematical Logic and Formal Languages, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation