Apr 25, 2024  
2014-2015 UMass Dartmouth Graduate Catalog 
    
2014-2015 UMass Dartmouth Graduate Catalog [Archived Catalog]

CIS 525 - Paral&Distrib Sftwr Dev

Credits 3
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.
Graded