Software Quality and Productivity

Theory, practice, education and training


ISBN: 978-1-4757-6544-1 (Print) 978-0-387-34848-3 (Online)

Table of contents (60 chapters)

previous Page of 3
  1. Front Matter

    Pages i-xi

  2. Keynote Papers

    1. Front Matter

      Pages 1-1

    2. Chapter

      Pages 3-9

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

    3. Chapter

      Pages 10-26

      Software Quality and Productivity Improvement

  3. Requirements, Design and Development Methodologies

    1. Front Matter

      Pages 27-27

    2. Chapter

      Pages 29-36

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

    3. Chapter

      Pages 37-44

      MOOSE: A method designed for ease of maintenance

    4. Chapter

      Pages 45-49

      BPR for Developing Information Systems — a case study

    5. Chapter

      Pages 50-55

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

    6. Chapter

      Pages 56-61

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

    7. Chapter

      Pages 62-65

      Changing Programming Paradigm — An Empirical Investigation

    8. Chapter

      Pages 66-71

      Application-Oriented Methods for Systems Development — A Review

    9. Chapter

      Pages 72-77

      A Proposal for Composing Software Design Process

    10. Chapter

      Pages 78-83

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

    11. Chapter

      Pages 84-87

      Designing with Non-Functional Requirements

    12. Chapter

      Pages 88-91

      Modelling the Requirements of Process Controlled Systems

    13. Chapter

      Pages 92-95

      Compiling Heterarchical Programs by Means of Petri Nets

  4. Object Oriented Analysis, Design and Development

    1. Front Matter

      Pages 97-97

    2. Chapter

      Pages 99-106

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

    3. Chapter

      Pages 107-114

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

    4. Chapter

      Pages 115-122

      AMI: A Case Tool based on Artificial Intelligence Techniques for an Interactive Modelling for Analysis

    5. Chapter

      Pages 123-126

      Object-oriented Framework for Requirement Specification

    6. Chapter

      Pages 127-134

      A Structured Object-Oriented View on Systems Modeling

    7. Chapter

      Pages 135-138

      Construction of a wysiwyg LATEX Typesetting System using Object-oriented Design

previous Page of 3