Vis enkel innførsel

dc.contributor.advisorWang, Alf Ingenb_NO
dc.contributor.advisorSørensen, Carl-Fredriknb_NO
dc.contributor.advisorMørk, Ole-Martinnb_NO
dc.contributor.authorFlobakk, Runenb_NO
dc.date.accessioned2014-12-19T13:32:01Z
dc.date.available2014-12-19T13:32:01Z
dc.date.created2010-09-03nb_NO
dc.date.issued2007nb_NO
dc.identifier347545nb_NO
dc.identifierntnudaim:3626nb_NO
dc.identifier.urihttp://hdl.handle.net/11250/250576
dc.description.abstractSoftware 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.languageengnb_NO
dc.publisherInstitutt for datateknikk og informasjonsvitenskapnb_NO
dc.subjectntnudaimno_NO
dc.subjectSIF2 datateknikkno_NO
dc.subjectProgram- og informasjonssystemerno_NO
dc.titleAutomated verification of design adherence in software implementationnb_NO
dc.typeMaster thesisnb_NO
dc.source.pagenumber102nb_NO
dc.contributor.departmentNorges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for datateknikk og informasjonsvitenskapnb_NO


Tilhørende fil(er)

Thumbnail
Thumbnail
Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel