Choukri Bey Ben Yelles

مفاهيم موزونة مستخرجة من عناوين المُخرَجات وملخّصاتها ومواضيعها، مجمّعة حسب المجال.

• Model-Driven Software Engineering Techniques
• Formal Methods in Verification
• Logic, programming, and type systems
• UML state machines
• OCL constraints
• formal transformation
• model-driven engineering
• model refinement
• executable code generation
• formal verification