Apr 19, 2024  
2014-2015 UMass Dartmouth Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Accreditation
  Academic Calendar
  Introduction to the University
  Mission and Vision Statements
  Master List of Academic Programs
  Trustees, Officers, Administrators, and Faculty
  Colleges, Departments, and Programs
  Search Courses by Department
  Search Courses by Prefix
  Admission to the University
  Special Admission Opportunities: College Now/START Program
  Academic Regulations and Procedures
  Special Learning Opportunities
  Advanced Learning Opportunities: Honors Program
  The Campus Experience: Services and Support
  Expenses and Student Financial Services
  Research, Outreach, and Service
  University Extension (UE)
  Key to the Listings of Courses and Programs
  Contact Information and Office Hours

  Campus Visits and Directions
HELP
2014-2015 UMass Dartmouth Undergraduate Catalog [Archived Catalog]

CIS 461 - Formal Methods for Software Engineering

Credits 3
Graded