Detail Records ID:1273 Title:Courses URL:http://alloy.mit.edu/courses.php Pagerank:6 Description: SOFTENG 461 looks at the formal specification, design, and (automatic) analysis of software systems. A variety of specification notations will be presented, ... Category:Design Sofware Link Owner:alloy.mit.edu Date Added:June 25, 2008 04:10:06 AM Number Hits:0 Alexa Graph |
