Inspection and Verification of Domain Models with PlanWorks and Aver
Tania Bedrax-Weiss, Jeremy Frank, Michael Iatauro, Conor McGann · 2006
When developing a domain model, it seems natural to bring the traditional informal tools of inspection and verification, debuggers and automated test suites, to bear upon the problems that will inevitably arise. Debuggers that allow inspection