Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Rodin_tool> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- Rodin_tool abstract "The Rodin tool, for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environment that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B.The two main characteristics of the Rodin tool are its ease of use and its extensibility.The tool focuses on modelling. It is easy to modify models and try out variations of a model. The tool can also be extended easily. This makes it possible to adapt the tool to specific needs, so the tool can be adapted to fit into existing development processes instead demanding the opposite. The Event-B wiki page is a useful user and developer resource.Rodin (Rigorous Open Development Environment for Complex Systems) isExtension of Eclipse IDE (Java based)Rodin Eclipse Builder coordinates:Well-formedness + type checkerProof obligation (PO) generatorProof manager (PM)Propagation of changes".
- Rodin_tool wikiPageExternalLink eventb.pdf.
- Rodin_tool wikiPageExternalLink D18.pdf.
- Rodin_tool wikiPageExternalLink umlb.html.
- Rodin_tool wikiPageExternalLink Main_Page.
- Rodin_tool wikiPageExternalLink Modularisation_Plug-in.
- Rodin_tool wikiPageExternalLink index.html.
- Rodin_tool wikiPageExternalLink index.html.
- Rodin_tool wikiPageExternalLink www.eclipse.org.
- Rodin_tool wikiPageExternalLink overview.php.
- Rodin_tool wikiPageID "30581229".
- Rodin_tool wikiPageRevisionID "587843872".
- Rodin_tool hasPhotoCollection Rodin_tool.
- Rodin_tool subject Category:Formal_methods_tools.
- Rodin_tool subject Category:Formal_specification_languages.
- Rodin_tool type Artifact100021939.
- Rodin_tool type FormalMethodsTools.
- Rodin_tool type Implement103563967.
- Rodin_tool type Instrumentality103575240.
- Rodin_tool type Object100002684.
- Rodin_tool type PhysicalEntity100001930.
- Rodin_tool type Tool104451818.
- Rodin_tool type Whole100003553.
- Rodin_tool comment "The Rodin tool, for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environment that make it easy to modify and improve programs.".
- Rodin_tool label "Rodin tool".
- Rodin_tool sameAs m.0g9x5mm.
- Rodin_tool sameAs Q7356780.
- Rodin_tool sameAs Q7356780.
- Rodin_tool sameAs Rodin_tool.
- Rodin_tool wasDerivedFrom Rodin_tool?oldid=587843872.
- Rodin_tool isPrimaryTopicOf Rodin_tool.