Property Matters Software Design