[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] EJBs [See Enterprise Java Beans (EJBs)] Enterprise Java Beans (EJBs) entity bean defined example mapping functions 2nd 3rd examples 2nd 3rd executable models and verification gap defined introduction reasons to use 2nd verification versus code 2nd Executable UML and mappings and model translation and OCL and translatability as concurrent specification language defined essential components execution engine introduction 2nd Extreme Programming (XP) |