Note: This course is not available for the current semester.
Course No: 91.524; Last Offered: No Data;
Comparative analysis of program development support systems; specification and code generation techniques for testing and rapid prototyping of large software systems. Introduction to formal specifications and proof-of-correctness. Students will contribute to ongoing software tool development projects.
Contact the Advising Center at 978-934-2474 or Continuing_Education@uml.edu
Use the Back button in your browser to go back to search results.