Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/18416
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Maibaum, Thomas | - |
dc.contributor.advisor | Gruner, Stefan | - |
dc.contributor.author | Kumar, Apurva | - |
dc.date.accessioned | 2015-10-15T19:10:31Z | - |
dc.date.available | 2015-10-15T19:10:31Z | - |
dc.date.issued | 2015-11 | - |
dc.identifier.uri | http://hdl.handle.net/11375/18416 | - |
dc.description.abstract | Bodies or Books of Knowledge (BoKs) have only been transcribed in mature fields where practices and rules have been well established (settled) and are gathered for any prospective or current practitioner to refer to. As a precursor to creating a BoK, it is first important to know if the domain contains settled knowledge and how this knowledge can be isolated? One approach, as described in this work, is to use Formal Concept Analysis (FCA) to structure the knowledge (or parts of it) and construct a pruned concept lattice to highlight patterns of use and filter out the common and established practices that best suit the solving of a problem within the domain. In the railway domain, formal methods have been applied for a number of years to solve various modelling and verification problems. Their common use and straightforward application (with some refinement) makes them easy to identify and therefore a prime candidate to test for settled knowledge within the railway domain. They also provide other assurances of settled knowledge along the way. | en_US |
dc.language.iso | en | en_US |
dc.subject | Formal Methods | en_US |
dc.subject | Railway Software | en_US |
dc.subject | Formal Concept Analysis | en_US |
dc.subject | Body of Knowledge | en_US |
dc.title | A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain | en_US |
dc.type | Thesis | en_US |
dc.contributor.department | Computing and Software | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Master of Applied Science (MASc) | en_US |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
kumar_apurva_aug2015_masc.pdf | Final Report | 2.95 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.