Apr 19, 2024  
2014-2015 UMass Dartmouth Graduate Catalog 
    
2014-2015 UMass Dartmouth Graduate Catalog [Archived Catalog]

CIS 531 - Software Systm Specfctn

Credits 3
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.
Graded