Jun 19, 2024  
2019-2020 UMass Dartmouth Graduate Catalog 
2019-2020 UMass Dartmouth Graduate Catalog [Archived Catalog]

CIS 525 - Paral&Distrib Sftwr Dev

Credits 3
Lecture / 3 hours per week
Design and development of parallel and distributed systems. This course provides state-of-the art presentation of software development for parallel and distributed systems. A systematic model-based approach has been applied across stages of software development. Various versions of Petri nets are used to model , specify, validate, and verify correctness of parallel and distributed systems. Performance is also assessed based on stochastic Petri nets. Rapid prototyping of parallel and distributed systems with automatic code generation is an ultimate goal of his course. Comparison with other approaches is also provided.