Property oriented development

Property oriented development is characterized by an integration of:

• better product planning through focus on the early stages of system development, in particular domain analysis and requirements specification;
• emphasis on system families, evolution and reuse;
• formal expressions of required and provided properties;
• quality-by-construction through integration of methods for verification, validation and design synthesis.

Property oriented development is at a higher process maturity level than Design oriented development .