When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
The design and operation of long-lived, sustainable systems (LSS) are hampered by limited support for change over time and limited preservation of system knowledge. The solution we...
Robyn R. Lutz, David Weiss, Sandeep Krishnan, Jing...
Abstract. In this paper, we describe how the AGORA multi-agent architecture is used to support Virtual Enterprises(VE). Software agents represent the partners of a VE, who collabor...
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...