A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
XRound: A reversible template language and its application in model-based security analysis
2009
Information and Software Technology
Article: Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Paige, Richard F. orcid.org/0000-0002-1978Richard F. orcid.org/0000-0002- -9852 (2009 XRound : A reversible template language and its application in model-based security analysis. Information and Software Technology. pp. 876-893. Abstract Successful analysis of the models used in Model-Driven Development requires the ability to synthesise the results of analysis and automatically integrate these results with the models
doi:10.1016/j.infsof.2008.05.006
fatcat:53n2zvzjbjcxbfafm3jl65uzoe