Search results
From Event-B
Jump to navigationJump to search
- [[Category:Design]] ...1,001 bytes (119 words) - 14:53, 21 January 2010
- This design document describes how this has been implemented in a better way in the cor [[Category:Design]] ...4 KB (692 words) - 15:06, 20 November 2013
- [[Category:Design]] ...2 KB (232 words) - 15:23, 4 July 2013
- [[Category:Design]] ...2 KB (254 words) - 12:54, 12 August 2009
- ...://wiki.event-b.org/images/Rodin-workshop-article.pdf System Modelling and Design: Refining Software Engineering] ...fang Yuan, [http://wiki.event-b.org/images/soton-workshop.pdf Quantitative Design Decisions Measurement using Formal Method] ...5 KB (766 words) - 09:59, 21 September 2011
- * '''AWE''' - Co-Design Architecture (CODA) ...ervices for connected embedded systems, is applying the Rodin tools to the design of software for a simple medical device. The aim is to use the evidence pro ...5 KB (718 words) - 11:40, 23 October 2015
- * Design a subsystem for Rodin that will realize the selected scenario(s) and implem [[Category:Design proposal]] ...4 KB (670 words) - 14:38, 29 January 2009
- === Tool Support for Design Patterns === ...mportant aspect of the Event-B method. The background theoretical work for design patterns in Event-B has been done as part of a master thesis. The objective ...10 KB (1,629 words) - 12:50, 12 August 2009
- [[Category:Design]] ...2 KB (291 words) - 09:27, 4 March 2009
- * [[Rodin Index Design]] * [[Proof Purger Design|Proof Purger]] allows to delete unused proofs. ...8 KB (1,260 words) - 12:45, 30 July 2015
- ...for each tool extension and improvement are expressed. The decisions (e.g. design decision) are reported. ...2 KB (325 words) - 17:32, 29 November 2013
- [[Category:Design]] ...2 KB (365 words) - 12:52, 12 August 2009
- ...for each tool extension and improvement are expressed. The decisions (e.g. design decision) are related. ...2 KB (371 words) - 16:27, 13 July 2012
- [[Category:Design proposal]] ...2 KB (335 words) - 14:16, 3 December 2010
- This page describes the design of a tactic replacing a predicate <math> P </math> in either a hypothesis o = Design Decision = ...10 KB (1,784 words) - 16:04, 18 March 2014
- ...in the paper [http://www.springerlink.com/content/d088h53531x7226j "Using Design Patterns in Formal Methods: An Event-B Approach"]. ...6 KB (1,034 words) - 14:43, 27 January 2010
- ...ation could also be implemented by a sequence of Prolog Queries. This is a design decision that depends on whether we want to reuse parts of the sequence or ...3 KB (325 words) - 08:20, 4 February 2009
- for the system. It proved to be a bad design choice and it was a burden for behaviour or on the design of the railway network. ...6 KB (967 words) - 12:57, 28 October 2008
- [[Category:Design]] ...3 KB (343 words) - 10:21, 25 November 2014
- [[Category:Design]] ...3 KB (444 words) - 16:57, 27 February 2014