Search results
From Event-B
Jump to navigationJump to searchCreate the page "D45 Deliverable" on this wiki! See also the search results found.
Page title matches
- The purpose of this page is to give a base for the final DEPLOY Deliverable D45 (Model Construction tools & Analysis IV) which will be delivered to the Eu Each page shall be quite short (ca. 4-5 printed pages as the D45 contains 7 sections).<br>5 KB (732 words) - 08:31, 14 February 2012
Page text matches
- The purpose of this page is to give a base for the final DEPLOY Deliverable D45 (Model Construction tools & Analysis IV) which will be delivered to the Eu Each page shall be quite short (ca. 4-5 printed pages as the D45 contains 7 sections).<br>5 KB (732 words) - 08:31, 14 February 2012
- The DEPLOY deliverable D45 is made of this document, the Rodin core platform, and its plug-ins (i.e. t [[Category:D45 Deliverable]]3 KB (500 words) - 09:18, 23 April 2012
- ...rk done on MBT proceeded according to the plan (summarized in the previous deliverable D32), i.e. generating test cases and test data using constraint-solving and * DEPLOY deliverable D44 - see chapter 10 for technical details on the constraint-solving approa7 KB (1,044 words) - 21:39, 20 April 2012
- [[Category:D45 Deliverable]]7 KB (1,025 words) - 21:35, 20 April 2012
- [[Category:D45 Deliverable]]12 KB (1,818 words) - 08:31, 20 April 2012
- [[Category:D45 Deliverable]]13 KB (1,991 words) - 20:57, 20 April 2012
- The Rodin platform versions concerned by this deliverable are: ...php/Category:D32_Deliverable D32 - Model Construction tools & Analysis III Deliverable]).35 KB (5,228 words) - 10:12, 23 April 2012
- [[Category:D45 Deliverable]]21 KB (3,334 words) - 21:20, 20 April 2012