Managing the evolution of.NET programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2884, Issue , 2003, Pages 185-198

  Eisenbach, Susan ^a   Jurisic, Vladimir ^a   Sadler, Chris ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b MIDDLESEX UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS;

COMPONENT-BASED MODELING; DESCRIPTIVE METADATA; DYNAMIC EVOLUTION; DYNAMIC LINKING; RUN TIME SYSTEMS; RUNTIME ENVIRONMENTS; SERVICE COMPONENTS; SOFTWARE COMPONENT;

FORMAL METHODS;

EID: 0344118793     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39958-2_13     Document Type: Article

References (28)

1. Davide Ancona and Elena Zucca. A Primitive calculus for module systems. In PPDP Proceedings, September 1999.
2. R. Anderson. The End of DLL Hell. http://msdn.microsoft.com/, January 2000.
3. A. Rausch. Software Evolution in Componentware using Requirements/Assurances Contracts, pages 147-156. ACM Press, Limerick, Ireland, May 2000.
4. Luca Cardelli. Program Fragments, Linking, and Modularization. In POPL'97 Proceedings, January 1997.
5. A. Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, 1994.
6. S. Drossopoulou. An Abstract Model of Java Dynamic Linking, Loading and Verification. In Types in Compilation, September 2001.
7. Dominic Duggan. Sharing in Typed Module Assembly Language. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). Carnegie Mellon, CMU-CS-00-161, 2000.
8. D. Jackson, I. Schechter, and I. Shlyakhter. Alcoa: the Alloy Constraint Analyzer, pages 730-733. ACM Press, Limerick, Ireland, May 2000.
9. S. Eisenbach and S. Drossopoulou. Manifestations of the Dynamic Linking Process in Java. http://www-dse.doc.ic.ac.uk/projects/slurp/dynamic-link/linking.htm, June 2001.
10. S. Eisenbach and C. Sadler. Ephemeral Java Source Code. In IEEE Workshop on Future Trends in Distributed Systems, December 1999.
11. S. Eisenbach and C. Sadler. Changing Java Programs. In IEEE Conference in Software Maintenance, November 2001.
12. S. Eisenbach. Alloy Model of .NET Evolution. Technical report, http://www.doc.ic.ac.uk/~sue/alloymodel, August 2003.
13. Kathleen Fisher, John Reppy, and Jon Riecke. A Calculus for Compiling and Linking Classes. In ESOP Proceedings, March 2000.
14. Michael Hicks, Stephanie Weirich, and Karl Crary. Safe and Flexible Dynamic Linking of Native Code. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000). Carnegie Mellon, CMU-CS-00-161, 2000.
15. G. Holzmann. The Model Checker Spin. In IEEE Transactions on Software Engineering, volume 23, 5, May 1997.
16. D. Jackson. Micromodels of Software: Lightweight Modelling and Analysis with Alloy. Technical report, http://sdg.lcs.mit.edu/~dng/, February 2002.
17. V. Jurisic. Deja-vu.NET: A Framework for Evolution of Component Based Systems. http://www.doc.ic.ac.uk/~ajf/reaching/Projects/DistProjects.html, June 2002.
18. E. Meijer and C. Szyperski. Overcoming independent extensibility challenges. Communications of the ACM, 45(10):41-44, October 2002.
19. M. Mezini and K. J. Lieberherr. Adaptive Plug-and-Play Components for Evolutionary Software Development. In Proc. of OOPSLA, pages 97-116, 1998.
20. M. Pietrek. Avoiding DLL Hell: Introducing Application Metadata in the Microsoft .NET Framework. In MSDN Magazine, http://msdn.microsoft.com/, October 2000.
21. S. Pratschner. Simplifying Deployment and Solving DLL Hell with the .NET Framework. In MSDN Magazine, http://msdn.microsoft.com/, November 2001.
22. K. Mens P. Steyaert, C. Lucas and T. D'Hondt. Reuse Contracts: Managing the Evolution of Reusable Assets. In Proc. of OOPSLA, 1996.
23. P. Sewell. Modules, Abstract Types, and Distributed Versioning. In Proc. of Principles of Programming Languages. ACM Press, January 2001.
24. S. Drossopouloum, G. Lagorio and S. Eisenbach. Flexible Models for Dynamic Linking. In Proc. of the European Symposium on Programming. Springer-Verlag, March 2003.
25. D. Wragg S. Drossopoulou and S. Eisenbach. What is Java binary compatibility? In Proc. of OOPSLA, volume 33, pages 341-358, 1998.
26. S. Eisenbach S. Drossopoulou and D. Wragg. A Fragment Calculus: Towards a Model of Separate Compilation, Linking and Binary Compatibility. In Logic in Computer Science, pages 147-156, 1999.
27. S. Eisenbach, C. Sadler and S. Shaikh. Evolution of Distributed Java Programs. In IFIP/ACM Working Conf on Component Deployment, June 2002.
28. Joe Wells and Rene Vestergaard. Confluent Equational Reasoning for Linking with First-Class Primitive Modules. In ESOP Proceedings, March 2000.