Search results

Create the page "Modelling User Interface" on this wiki! See also the search results found.

• Rodin Platform 2.0 Release Notes
  * General Interface * Modelling
  15 KB (2,008 words) - 15:34, 10 January 2011
• D45 General Platform Maintenance
  ...long predicates (e.g. long goals). Since Rodin 2.2, and its new Proving UI interface, a feature has been added, allowing to search and highlight a string patter ...been provided in such case, taking the form of warnings or errors that any user can understand and review.
  35 KB (5,228 words) - 10:12, 23 April 2012
• D32 Code generation
  ...t of the interface that enables event synchronization. We make use of this interface and add information (see Events<ref name="taskext">http://wiki.event-b.org/ A Tasking Development is generated programmatically, at the direction of the user; the Tasking Development consists of a number of machines (and perhaps asso
  15 KB (2,298 words) - 15:08, 27 January 2011
• Records Extension
  This page is under development. It is intended to be a user oriented manual for using records in Event-B. This page should be read in c The Records Extension introduces a new modelling construct to provide a notion of structured types in Event-B Contexts.
  8 KB (1,347 words) - 13:07, 21 July 2010
• Code Generation Activity
  ...neration for Functional Mock-up Units, for use with the Functional Mock-up Interface (FMI) standard. Tasking Event-B is an extension to Event-B, for defining co ...ar style of C, which is tailored for use with ADVANCE's Functional Mock-up Interface ([http://eprints.soton.ac.uk/365249/1/rms.pdf FMI]) approach. To generate c
  17 KB (2,568 words) - 09:03, 19 October 2015
• D45 Scalability
  ...rience. The whole performance was enhanced by core implementation and user interface refactorings. Improvements made to the proving experience will be detailed This section concerns the actual editors that user work with to view and modify models.
  13 KB (1,991 words) - 20:57, 20 April 2012
• Event Model Decomposition
  ...contain contexts, machines, or both (see [[Event-B Modelling Language|the modelling language]]). The notion of model decomposition covers on the one hand the m ...ied from the non-decomposed machine to a sub-machine, according to the end-user specified distribution (by opposition to ''external'' event).
  43 KB (6,950 words) - 09:48, 27 October 2011
• Rodin Platform 2.3 Release Notes
  * General Interface * Modelling
  11 KB (1,401 words) - 09:39, 8 November 2011
• Statemachine Animation Tutorial
  *UML-B Modelling Environment plug-in ...en actions are made on the diagram elements. In other words it works as an interface between the UML-B and ProB, delivering the existing functionality of ProB t
  13 KB (2,247 words) - 18:16, 13 January 2010
• D45 Code Generation
  ..."Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: tasking Event-B. In, Ada-Europe 2012: 17th Interna ...de generator on 22-03-2012. The changes were made to the methodology, user interface, and tooling. The first version of the code generator supported translation
  12 KB (1,818 words) - 08:31, 20 April 2012
• Rodin Platform 1.3 Release Notes
  * General Interface * Modelling
  12 KB (1,642 words) - 13:21, 28 July 2010

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