An Eclipse based Development Environment for RAISE | Marieta Vasilica Fasie
| | Abstract | In order to support the RAISE (Rigorous Approach To Industrial Software Engineering) formal method and the RAISE specifi cation language, a series of tools have been developed in the past. Although the tools have been successfully used both in industrial and academic environments, they lack many of the features a development environment offers nowadays.
The goal of this master thesis is twofold. Firstly, to create an integrated development environment for RAISE that is easy to extend and integrate with
new tools, and secondly, to test EBON's (Extended Business Object Notation) applicability on plug-ins development, using the tool under development as a case study.
The thesis describes a methodology for designing and analyzing plug-ins, that is based on BON methodology and that is used to analyze and design eRAISE. Then eRAISE is implemented based on the Eclipse framework providing an integrated development environment for RAISE's tool suite. By using the plugin mechanism available in Eclipse, eRAISE can easily be extended with new features and tools. Furthermore, the report proposes some ideas on how can the new plug-in be extended and improved. | | Type | Master's thesis [Academic thesis] | | Year | 2013 | | Publisher | Technical University of Denmark, DTU Compute, E-mail: compute@compute.dtu.dk | | Address | Matematiktorvet, Building 303-B, DK-2800 Kgs. Lyngby, Denmark | | Series | M.Sc.-2013-16 | | Note | DTU supervisor: Associate Professor Anne Elisabeth Haxthausen, aeha@dtu.dk, DTU Compute | | Electronic version(s) | [pdf] | | Publication link | http://www.compute.dtu.dk/English.aspx | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|