Search results

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

• 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
• Event-B to SMT-LIB
  [[Category:Design]]
  5 KB (797 words) - 10:29, 24 October 2011
• Rodin Workshop 2013
  ...es Sharp, Michael Butler, John Colley, Andy Edmunds, Colin Snook: ''The Co-Design Architecture (CODA) Methodology and Plug-in Tool, Progress Update''
  4 KB (521 words) - 13:15, 13 June 2013
• D23 Improvements to Existing Provers
  improving existing tools, while others needed a full design and development of
  5 KB (789 words) - 11:41, 27 January 2010
• Rodin Workshop 2010
  ...010-sld-robinson.pdf ''Reflections on the teaching of System Modelling and Design''], Ken Robinson
  5 KB (716 words) - 09:28, 22 November 2010
• D23 Decomposition
  * Design/architectural decision. It applies in particular when it is noticed that it
  6 KB (825 words) - 13:27, 27 January 2010
• ADVANCE D3.2 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
  6 KB (891 words) - 17:21, 11 December 2012
• Extending Refinement Actions
  [[Category:Design proposal]]
  5 KB (764 words) - 15:49, 19 April 2011
• ADVANCE D3.2 General Platform Maintenance
  ...ability issues occured at some point when feature addition was favoured to design refactorings. As the DEPLOY project was nearing its end, it appeared manda ...ressed referring to phenomena that are visible in the environment, whereas design decisions and plaform properties may only be expressed referring to phenome
  20 KB (3,030 words) - 13:18, 18 July 2012
• Scenarios for Merging Proofs
  [[Category:Design proposal]]
  6 KB (1,046 words) - 10:34, 27 October 2011
• Pattern
  ...ng the master's thesis [http://e-collection.ethbib.ethz.ch/view/eth:41612 "Design Patterns in Event-B and Their Tool Support“], the proofs of the pattern c
  17 KB (2,670 words) - 15:07, 24 January 2012

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