Dec 21, 2024  
2023-2024 UMass Dartmouth Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Accreditation
  Academic Calendar
  Introduction to the University
  Mission and Vision Statements
  Trustees, Officers, Administrators, and Faculty
  The Academic Experience
  Master List of Academic Programs
  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
  The Student Experience
  Expenses and Financial Aid Services
  Key to the Listings of Courses and Programs
  Contact Information and Office Hours

  Campus Visits and Directions
HELP
2023-2024 UMass Dartmouth Undergraduate Catalog [Archived Catalog]

CIS 461 - Formal Methods for Software Engineering

Credits 3
Lecture
Requirements: Prerequisite: MTH 182
Course in presentation of formal model-based methods of software development. Review of mathematical foundations for formal methods. Formal languages and techniques for specification and design, including specifying syntax using grammars, finite state machines, and Petri nets. Analysis and verification of specifications and designs. Use of assertions, invariants, and proofs. Automated program and design transformation
Graded