Software Quality and Productivity

1. Front Matter

   Pages i-xi

   PDF

2. Keynote Papers

   1. Front Matter

      Pages 1-1

      PDF

   2. Towards the 21st Century’s Software, State of the art and International Standard in JTC1/SC7

      • Motoei Azuma

      Pages 3-9

   3. Software Quality and Productivity Improvement

      • R. G. Dromey

      Pages 10-26

3. Requirements, Design and Development Methodologies

   1. Front Matter

      Pages 27-27

      PDF

   2. Progress Towards RACE: a ‘Soft-Centred’ Requirements Definition Method

      • D. W. Bustard

      Pages 29-36

   3. MOOSE: A method designed for ease of maintenance

      • R. I. Ferguson, N. F. Parrington, P. Dunne

      Pages 37-44

   4. BPR for Developing Information Systems — a case study

      • Elayne Coakes, Jim Coakes

      Pages 45-49

   5. Towards A Methodology for 24 Hour Software Production Using Globally Separated Development Teams

      • Ian Gorton, Sanjeev Motwani

      Pages 50-55

   6. MetaMet — A Soft Systemic Way Toward the Quality of Information Systems

      • Peter Kokol, Bruno Stiglic

      Pages 56-61

   7. Changing Programming Paradigm — An Empirical Investigation

      • James Miller, Gerald Darroch, Murray Wood, Andrew Brooks, Marc Roper

      Pages 62-65

   8. Application-Oriented Methods for Systems Development — A Review

      • D. Millington, I. M. Tulloch

      Pages 66-71

   9. A Proposal for Composing Software Design Process

      • Sumio Mochizuki, Takuya Katayama

      Pages 72-77

   10. Team-Based Software Development Using an Electronic Meeting System: The Quality Pay-Off

       • S. Sawyer, P. J. Guinan

       Pages 78-83

   11. Designing with Non-Functional Requirements

       • Colin J. Theaker, Jenny Whitworth

       Pages 84-87

   12. Modelling the Requirements of Process Controlled Systems

       • T. K. Sateesh, P. A. V. Hall

       Pages 88-91

   13. Compiling Heterarchical Programs by Means of Petri Nets

       • John B. Evans

       Pages 92-95

4. Object Oriented Analysis, Design and Development

   1. Front Matter

      Pages 97-97

      PDF

   2. Type Checking Classes in Object-Z to Promote Quality of Specifications

      • J. Chen, B. Dumota

      Pages 99-106

   3. An Axiom-Based Test Case Selection Strategy for Object-Oriented Programs

      • T. H. Tse, F. T. Chan, H. Y. Chen

      Pages 107-114

As the world becomes increasingly dependent on the use of computers, the need for quality software which can be produced at reasonable cost increases. This IFIP proceedings brings together the work of leading researchers and practitioners who are concerned with the efficient production of quality software.

• computer
• design
• development
• management
• object-oriented analysis
• productivity
• project management
• software
• standards
• usability

• Department of Information Systems, City Polytechnic of Hong Kong, Kowloon Tong, Hong Kong

  Matthew Lee

• Ministry of Education, Culture and Sports, Jerusalem, Israel

  Ben-Zion Barta

• School of Management Information Systems, Deakin University, Australia

  Peter Juliff

Ben-Zion Barta is with Bar-Code Computers Ltd., Israel Peter Juliff is Head of the School of Management and Information Systems, Deakin University, Burwood, Australia

Policies and ethics