![]() |
Telelogic Rhapsody (steve huntington) | ![]() |
Topic Title: Model Driven Software Development Topic Summary: Created On: 4-May-2006 14:29 Status: Read Only |
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() |
|
Model Driven Software Development
DePaul University School of Computer Science, Telecommunications, and Information Systems Chicago, IL USA Instructor: Dr. Xiaoping Jia [url]http://venus.cs.depaul.edu/se431[/url] Description Introduction to software specification, modeling, and model-driven development. Topics include a survey of approaches to software specification and modeling, specification languages, notations, and techniques for modeling static and dynamic aspects of software systems, and the use of tools in analysis, verification, and transformation of software models. Topics Introduction to software modeling and model-driven development Using logic and formal modeling in software development Using logic to define requirements Introduction to the ZOOM notation Using formal models and specifications in software construction Advanced software modeling Overview of UML-2 Object Constraint Language (OCL) Invariants and contracts Advanced behavioral modeling Model transformation and meta-models Textbook No required textbook for this course. Lecture notes and handouts will be distributed by the instructor. References MDA Explained: The Model Driven Architecture--Practice and Promise, by Anneke Kleppe, Jos Warmer, Wim Bast, Addison-Wesley Pub Co; 1st edition (April 25, 2003) The Object Constraint Language: Getting Your Models Ready for MDA, Second Edition, by Jos Warmer, Anneke Kleppe, Addison-Wesley Professional; 2 edition (August 29, 2003) |
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.