Managing the evolution of .NET programs.
Sadler, Chris, Eisenbach, Susan and Jurisic, Vladimir (2004) Managing the evolution of .NET programs. In: IFIP WG6.1 Formal Methods for Open Object-based Distributed Systems. Proceedings, Lecture Notes in Computer Science. Springer Berlin, Heidelberg, pp. 185-198. ISBN 3-540-20491-1. [Book Section] (doi:10.1007/b94120)
Abstract
DLL Hell is what Microsoft calls its version of our Java library problem and the .NET component framework was partly designed to solve it. In this paper we constructed a formal model of the .NET ‘assembly cache' and verified its properties useing Alloy, the MIT structural modelling language. The literature reveals few examples of formal verification applied to Microsoft designs and our model features as an exemplar of Alloy in the Imperial College curriculum and in Logic and Computer Science: Modelling and Reasoning about Systems, by M. Huth and M. Ryan (CUP, 2004).
| Item Type: | Book Section |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer and Communications Engineering |
| Item ID: | 104 |
| Depositing User: | Repository team |
| Date Deposited: | 21 Oct 2008 13:58 |
| Last Modified: | 13 Oct 2016 14:11 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/104 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)