|
|
|
Design by ContractTM with MDA®Promoting Rigor in Software Development and OutsourcingAudience: IT managers, architects, and senior developers Duration: One hour Prerequisites: A basic knowledge of UML is helpful but not required. Abstract: Design by Contract (DBC) is a technique for formally specifying rules about information integrity and service behavior. Many such rules align closely with business rules. DBC rules can also provide precise instructions to a programmer, a code generator, an outsourcing group, or a partner in a value chain. UML and its sister standard MOFTM (Meta Object Facility) support DBC via Object Constraint Language (OCL). This seminar provides an introduction to DBC and OCL that is sufficient to get an experienced IT person started on using this approach. Outline: Formal vs. Informal Modeling
MDA
is a registered trademark of the Object Management Group. MOF is a
trademark of the Object Management Group. Design by Contract is a
trademark of Interactive Software Engineering. |
|
|