dc.contributor.advisor | Wang, Alf Inge | nb_NO |
dc.contributor.advisor | Sørensen, Carl-Fredrik | nb_NO |
dc.contributor.advisor | Mørk, Ole-Martin | nb_NO |
dc.contributor.author | Flobakk, Rune | nb_NO |
dc.date.accessioned | 2014-12-19T13:32:01Z | |
dc.date.available | 2014-12-19T13:32:01Z | |
dc.date.created | 2010-09-03 | nb_NO |
dc.date.issued | 2007 | nb_NO |
dc.identifier | 347545 | nb_NO |
dc.identifier | ntnudaim:3626 | nb_NO |
dc.identifier.uri | http://hdl.handle.net/11250/250576 | |
dc.description.abstract | Software design and architecture specify how a system should be implemented to achieve the required quality attributes. Being able to automatically verify the design adherence during implementation will continuously assure that the system realizes the quality attributes, as well as over time does not drift away from them. This thesis investigates how a software design can be used to automatically verify and enforce rules for implementation. The current tool support for automatic design enforcement is assessed and reviewed. In addition, a prototype contribution to this practice, a plug-in for the Maven software project management system, is presented. | nb_NO |
dc.language | eng | nb_NO |
dc.publisher | Institutt for datateknikk og informasjonsvitenskap | nb_NO |
dc.subject | ntnudaim | no_NO |
dc.subject | SIF2 datateknikk | no_NO |
dc.subject | Program- og informasjonssystemer | no_NO |
dc.title | Automated verification of design adherence in software implementation | nb_NO |
dc.type | Master thesis | nb_NO |
dc.source.pagenumber | 102 | nb_NO |
dc.contributor.department | Norges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for datateknikk og informasjonsvitenskap | nb_NO |