Search results

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

• Membership in Goal
  This page describes the design of the reasoner MembershipGoal and its associated tactic MembershipGoalTac. = Design Decision =
  19 KB (3,362 words) - 13:50, 5 June 2014
• Indexing System
  ...Rodin Index Design]] for more general considerations about the purpose and design. [[Category:Design]]
  10 KB (1,541 words) - 17:41, 9 March 2009
• Constrained Dynamic Parser
  A first design proposal is also drafted. === Requirements Exported by the Current Language Design ===
  27 KB (3,967 words) - 13:21, 15 February 2010
• Negation Normal Form
  This page describes the design of a tactic for putting a sequent in Negation Normal Form, as requested by
  3 KB (596 words) - 16:48, 13 April 2011
• D32 Introduction
  * Choices / decisions. The decisions (e.g. design decisions) are justified.
  3 KB (415 words) - 17:03, 24 November 2010
• D32 Provers
  The major design decision concerned how to carry out the process of fine tuning. The major design decision concerned the logic in which the semantics of Event-B's logic is f
  11 KB (1,699 words) - 15:25, 27 January 2011
• Proof Purger Design
  [[Category:Design]]
  3 KB (505 words) - 12:54, 12 August 2009
• Proof Simplification
  [[Category:design proposal]]
  3 KB (496 words) - 12:58, 12 August 2009
• DynamicContainer
  * Design an EMF meta model (ecore) of your extension's abstract syntax. The model sh
  6 KB (506 words) - 12:00, 25 November 2009
• D23 UML-B
  ...ion has experimented several notation and methodological alternatives. The design has now been finalised and an implementation has been achieved. State-machi ...the meta-model in as generic a manner as possible. A driving factor in the design was to support both project level tools and component level tools. The latt
  8 KB (1,224 words) - 15:53, 28 January 2010
• Rodin Keyboard
  {{TODO}} REWORK: rethink the specification, avoid regex, new design based on a [http://en.wikipedia.org/wiki/Trie Trie] data structure. [[Category:Design]]
  9 KB (1,367 words) - 11:59, 23 June 2014
• D32 UML-B
  ...from UML-B state-machine subset, with incorporated animation support. This design was successfully implemented together with ProB and Rodin UI extensions int
  9 KB (1,382 words) - 11:05, 27 January 2011
• TextEditor EBNF
  ...TextEditor. It shows its EBNF, [[#Explanation|explains]] some details and design decisions and gives some [[#Examples|examples]].
  4 KB (559 words) - 12:43, 12 August 2009
• Generic Instantiation Proposal
  [[Category:Design proposal]]
  4 KB (704 words) - 10:17, 5 December 2012
• ADVANCE D3.3 Model Composition and Decomposition
  '''Model decomposition''' is a powerful technique to scale the design of large and complex systems. It enables first developers to separate compo
  5 KB (739 words) - 10:48, 23 September 2013
• ADVANCE D3.2 Language extension
  * Generic Parser's Design Alternatives.<ref>http://wiki.event-b.org/index.php/Constrained_Dynamic_Par
  4 KB (642 words) - 08:33, 29 June 2012
• Extended Operator Translation
  [[Category:Design proposal]]
  4 KB (660 words) - 16:36, 18 March 2014
• Strengthening the AST Library for Rodin 3.0
  [[Category:Design]]
  4 KB (650 words) - 16:07, 15 February 2013
• ADVANCE D3.3 Language extension
  * Generic Parser's Design Alternatives.<ref>http://wiki.event-b.org/index.php/Constrained_Dynamic_Par
  4 KB (648 words) - 14:52, 7 October 2013
• Billaude's work to finish
  [[Category:Design proposal]]
  10 KB (1,685 words) - 11:50, 26 February 2013

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