@MASTERSTHESIS\{IMM2013-06568,
    author       = "M. V. Fasie",
    title        = "An Eclipse based Development Environment for {RAISE}",
    year         = "2013",
    school       = "Technical University of Denmark, {DTU} Compute, {E-}mail: compute@compute.dtu.dk",
    address      = "Matematiktorvet, Building 303{-B,} {DK-}2800 Kgs. Lyngby, Denmark",
    type         = "",
    note         = "{DTU} supervisor: Associate Professor Anne Elisabeth Haxthausen, aeha@dtu.dk, {DTU} Compute",
    url          = "http://www.compute.dtu.dk/English.aspx",
    abstract     = "In order to support the {RAISE} (Rigorous Approach To Industrial Software Engineering) formal method and the {RAISE} specification 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."
}