Jan 28, 2025  
2015-2016 UMass Dartmouth Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Accreditation
  Academic Calendar
  Introduction to the University
  Mission and Vision Statements
  Trustees, Officers, Administrators and Faculty
  Colleges, Departments, and Programs
  Search Courses by Department
  Search Courses by Prefix
  Guide to Catalogue Entries
  Graduate Academic Programs at UMass Dartmouth
  Graduate Opportunities at UMass Dartmouth
  Admission to Graduate Study
  Application for Admission to a Graduate Program
  Expenses
  Financial Assistance
  Services and Support for Graduate Students
  Information for International Graduate Students
  University Extension
  Certificate Programs
  Registration, Academic Regulations, and Degree Requirements
  Graduate Degree Requirements
  Master’s and MFA Degree Requirements
  PhD Degree Requirements

  Campus Visits/Campus Map
  Directions for Correspondence or Inquiries

  Campus Map
HELP
2015-2016 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.
Graded