Formal Aspects of Measurement

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

  • Tim Denvir
  • Rosalind Herman
  • Robin W. Whitty
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Principles of Measurement

    1. Front Matter
      Pages 1-1
    2. Barbara Kitchenham
      Pages 28-37
    3. James Bieman, Norman Fenton, David Gustafson, Austin Melton, Robin Whitty
      Pages 38-59
  3. Formal Measurement in Practice

    1. Front Matter
      Pages 61-61
    2. Norbert Fuchs, Sieglinde Stainer
      Pages 84-107
    3. Michael D. Rice
      Pages 108-115
    4. Robin Whitty
      Pages 116-141
  4. Measurement Validation/Verification

    1. Front Matter
      Pages 143-143
    2. David A Gustafson, Ramon Mata Toledo, Richard E Courtney, Naim Temsamani
      Pages 145-156
    3. Martin Shepperd
      Pages 157-175
  5. Foundations

    1. Front Matter
      Pages 177-177
    2. David A. Gustafson, Baba Prasad
      Pages 179-193
    3. Horst Zuse, Peter Bollmann-Sdorra
      Pages 219-259
  6. Back Matter
    Pages 261-263

About these proceedings


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.


Mathematica Measurement Theory Software Metrics complexity design development formal methods language meeting software software engineering structured analysis validation verification

Editors and affiliations

  • Tim Denvir
    • 1
  • Rosalind Herman
    • 2
  • Robin W. Whitty
    • 3
  1. 1.Translimina LtdLondonUK
  2. 2.Humanities ProgrammeImperial CollegeLondonUK
  3. 3.Centre for Systems and Software EngineeringSouth Bank UniversityLondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London 1992
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19788-1
  • Online ISBN 978-1-4471-3205-9
  • Series Print ISSN 1431-1682
  • Buy this book on publisher's site
Industry Sectors
IT & Software