Managing the evolution of .NET programs.

Book chapter

Sadler, C., Eisenbach, S. and Jurisic, V. 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 Heidelberg Springer Berlin.
Chapter titleManaging the evolution of .NET programs.
AuthorsSadler, C., Eisenbach, S. and Jurisic, V.
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).

Book titleIFIP WG6.1 Formal Methods for Open Object-based Distributed Systems. Proceedings, Lecture Notes in Computer Science
PublisherSpringer Berlin
Place of publicationHeidelberg
ISBN
Hardcover3-540-20491-1
Publication dates
Print01 Feb 2004
Publication process dates
Deposited21 Oct 2008
Output statusPublished
Web address (URL)http://www.springerlink.com/content/cljlf25lv9ekuut0/
Digital Object Identifier (DOI)https://doi.org/10.1007/b94120
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/80v77

Log in to edit
  • 38
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as