Change Impact Analysis for Rebel Specifications

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Prasetya, dr. S.W.B.
dc.contributor.advisor	van Dalen, ir. R.W
dc.contributor.author	Wippert, J.W.M.
dc.date.accessioned	2020-05-26T18:00:11Z
dc.date.available	2020-05-26T18:00:11Z
dc.date.issued	2020
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/35855
dc.description.abstract	The formal specification language Rebel is designed for the unambiguous derivation of source code in a provably correct way. As requirements change over time, specifications must be updated. Modifications may impact the state space defined by variables and values, in an undesired way. Being the largest bank of the Netherlands, ING can not permit any losses in continuity and data as a result of unexpected code behaviour. Therefore Rebel is used to model their financial entities. The changeability of specifications must become well-defined in order to incorporate the language in its entirety. Using formal methods, this study attempts to provide insights in the impact of a change to a Rebel specification.
dc.description.sponsorship	Utrecht University
dc.format.extent	787020
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.title	Change Impact Analysis for Rebel Specifications
dc.type.content	Master Thesis
dc.rights.accessrights	Open Access
dc.subject.keywords	change impact analysis, Rebel, formal method, formal specification languages
dc.subject.courseuu	Computing Science