We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
Panuchart Bunyakiati, Anthony Finkelstein, James S...
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
Alexander Maedche, Boris Motik, Ljiljana Stojanovi...
Anticipation is one of the key aspects involved in flexible and adaptive behavior. The ability for an autonomous agent to extract a relevant model of its coupling with the environ...
Philippe Capdepuy, Daniel Polani, Chrystopher L. N...
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...