Logo image
Formalising dynamic composition and evolution in Java systems
Conference proceeding   Peer reviewed

Formalising dynamic composition and evolution in Java systems

3rd ECOOP Workshop on Formal Techniques for Java Programs, Informal proceedings, Budapest, 18th June 2001
3rd Workshop on Formal Techniques for Java Programming (FTfJP 2001) (Budapest, 18/06/2001 - 21/06/2001)
2001
Handle:
https://hdl.handle.net/10863/2963

Abstract

A variety of Java constructs involve an idea of time dynamic establishment and closure of connections or the composition and customisation of components in order to guarantee reliability and maintainability in dynamic evolving systems we will take a process oriented view on composition and interaction. This will be supported by a contract concept to formalise matching of suitable service provider and requestor.
url
http://doras.dcu.ie/15925/View

Details

Metrics

64 Record Views