The identification and use of properties and relationships between properties of the software development

The identification of the properties that users require computer applications to hold is essential for the development of software systems. The author analyzes how properties are related amongst each other and proposes one method to identify collections of properties and relationships between properties. He advocates that prior to the development of computer-based systems, it is necessary to identify the properties of the system development and the relationships between the properties. From an initial list of properties, the required set of properties of the software development can be selected and refined. An extract of one survey of properties is presented. The survey is a particular application of the method presented