Search results

Create the page "Design" on this wiki! See also the search results found.

• Auto-Completion Design
  [[Category:Design]]
  1,001 bytes (119 words) - 14:53, 21 January 2010
• Language of an Event-B Component
  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
• Generic Instantiation
  [[Category:Design]]
  2 KB (232 words) - 15:23, 4 July 2013
• Proof Skeleton Design
  [[Category:Design]]
  2 KB (254 words) - 12:54, 12 August 2009
• Rodin Workshop 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
• Industrial Projects
  * '''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
• Scenarios for Team-based Development
  * 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
• Google Summer of Code 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
• Undo Redo Design
  [[Category:Design]]
  2 KB (291 words) - 09:27, 4 March 2009
• Rodin Developer Support
  * [[Rodin Index Design]] * [[Proof Purger Design|Proof Purger]] allows to delete unused proofs.
  8 KB (1,260 words) - 12:45, 30 July 2015
• ADVANCE D3.3 Introduction
  ...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
• Proof Trees
  [[Category:Design]]
  2 KB (365 words) - 12:52, 12 August 2009
• ADVANCE D3.2 Introduction
  ...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
• ReqsManagement
  [[Category:Design proposal]]
  2 KB (335 words) - 14:16, 3 December 2010
• Modus Ponens generalized
  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
• D23 Pattern Plug-in
  ...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
• ProB API
  ...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
• Railway Interlocking Feedback
  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
• Decomposition Release History
  [[Category:Design]]
  3 KB (343 words) - 10:21, 25 November 2014
• Identifier Decomposition
  [[Category:Design]]
  3 KB (444 words) - 16:57, 27 February 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)