Index Terms-Model inference ; formal model ; IOSTS ; rule-based system

Domain-Driven Model Inference Applied To Web Applications