Jun 15, 2024  
2019-2020 UMass Dartmouth Graduate Catalog 
2019-2020 UMass Dartmouth Graduate Catalog [Archived Catalog]

CIS 531 - Software Systm Specfctn

Credits 3
Lecture / 3 hours per week
Formal foundation of the theory and practice of software specification; production of correct, consistent, and reliable software systems by expressing the requirements of the system in formal ways. Formal and informal requirements analysis and specification techniques, the relation of analysis and specification to concerns of validation and verification, maintenance, and reusability.