A significant body of research in ubiquitous computing deals with mobile networks, i.e. networks of mobile devices interconnected by wireless communication links. Due to the very nature of such mobile networks, addressing and communicating with remote ...

As scripts grow into full-fledged applications, programmers should want to port portions of their programs from scripting languages to languages with sound and rich type systems. This form of interlanguage migration ensures type-safety and provides ...

Aspect-Oriented Programming (AOP) and Aspect-Oriented Software Development (AOSD) endeavor to aid programmers in the separation of concerns, specifically crosscutting concerns, as an advance in modularization. AOP does so using primarily language ...

This panel will bring together the surviving authors (Erich Gamma, Richard Helm, and Ralph Johnson) of the book Design Patterns: Elements of Reusable Object-Oriented Software (Addison-Wesley) and it is dedicated to the memory of the fourth author John ...

Java's interface construct allows for a clear distinction between subtype polymorphism based on a shared interface and code reuse based on class extension or inheritance. Design Patterns argues that in an object-oriented setting, programming should be ...

Though Object-Oriented Analysis, Design, and languages have become the dominant practices in many, or most, domains of software engineering, concerns about complexity, size, and performance in the embedded, real-time software domain have led to a ...

While architecture is widely viewed as important, the mechanisms by which understanding architecture helps developers better change code are less clear. We are conducting a laboratory study to gather requirements for the design of future tools and ...

Today's large software systems and libraries are geared towards a broad range of platforms and environments, often relying on conditional compilation through preprocessor directives to generate specific builds for a given set of configuration flags. In ...

The system demonstrated is an advanced open source issue tracker built using Smalltalk, the continuation based web framework Seaside and an OODB called Magma.These unorthodox components enabled an uncompromised object oriented implementation and very ...

Language Integrated Query (LINQ) is a framework that is rooted in the theoretical ideas of monads and monad comprehensions to allow seamless querying over objects, XML, and relational data. Instead of blindly gazing at the perceived impedance mismatch ...

During the presentation we will demonstrate a new modeling tool, implemented as an Add-In for Microsoft Visual Studio. Our tool provides complete round-trip capabilities enabling application manipulation using either the model or the source code. The ...

The software engineering community has taken a great interest in using domain-specific languages (DSLs) [1] to improve the productivity of software development. We demonstrate the design of a DSL as a variant of object-oriented development by applying ...

Domain-Specific Modeling (DSM) raises the level of abstraction beyond programming by specifying the solution directly using domain concepts. In many cases, the final products can be generated from these high-level specifications. This automation is ...

This paper shows how to substantially increase the performance of Smalltalk programs by creating more classes to take advantage of polymorphism. An improved implementation of the well-known message match:, using this and other techniques, can run up to ...

We present Sourcerer, a search engine for open-source code. Sourcerer extracts fine-grained structural information from the code and stores it in a relational model. This information is used to implement a basic notion of CodeRank and to enable search ...

Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagrams or source code. Patterns are knowledge that comes from experience. ...

A pervasive computing system requires the integration of computation and communication with physical objects in the environment. The Ambiance project is building a platform for Macro-programming pervasive systems based on an Adaptive Object-Model; the ...

Dynamic invariant detection, the automatic recovery of partial program specifications by inferring likely constraints from program executions, has been successful in the context of procedural programs. The implementation for dynamic invariant detection ...

A common practice for rapid prototyping of an object-oriented program analysis is to define a lightweight fragment of Java, that is sufficiently small to facilitate a rigorous analysis of key properties. Such a lightweight fragment lacks important Java ...