edit SideBar
►OCL - Object Constraint Language at SBMF 2003
►Integrating Model and Testing-Driven Development at SBES 2007
►MDA and Code Generation at SBMF 2008