Formalization Of Storage Considerations In Software Design