51 research outputs found
Understanding Design Patterns Density with Aspects: A Case Study in JHotDraw using AspectJ
International audienceDesign patterns offer solutions to common engineering prob- lems in programs [1]. In particular, they shape the evolution of program elements. However, their implementations tend to vanish in the code: thus it is hard to spot them and to understand their impact. The prob- lem becomes even more difficult with a "high density of pattern": then the program becomes easy to evolve in the direction allowed by patterns but hard to change [2]. Aspect languages offer new means to modular- ize elements. Implementations of object-oriented design patterns with AspectJ have been proposed [3]. We aim at testing the scalability of such solutions in the JHotDraw framework. We first explore the impact of density on pattern implementation. We show how AspectJ helps to reduce this impact. This unveils the principles of aspects and AspectJ to control pattern density
Formally Defining and Iterating Infinite Models
International audienceThe wide adoption of MDE raises new situations where we need to manipulate very large models or even infinite model streams gathered at runtime. These new uses cases for MDE raise challenges that had been unforeseen by the time standard modeling framework were designed. This paper proposes a formal definition of an infinite model, as well as a formal framework to reason on queries over infinite models. This formal query definition aims at supporting the design and verification of operations that manipulate infinite models. First, we precisely identify the MOF parts which must be refined to support infinite structure. Then, we provide a formal coinductive definition dealing with unbounded and potentially infinite graph-based structure
Evaluating the GeoSnap 13-m Cut-Off HgCdTe Detector for mid-IR ground-based astronomy
New mid-infrared HgCdTe (MCT) detector arrays developed in collaboration with
Teledyne Imaging Sensors (TIS) have paved the way for improved 10-m
sensors for space- and ground-based observatories. Building on the successful
development of longwave HAWAII-2RGs for space missions such as NEO Surveyor, we
characterize the first 13-m GeoSnap detector manufactured to overcome the
challenges of high background rates inherent in ground-based mid-IR astronomy.
This test device merges the longwave HgCdTe photosensitive material with
Teledyne's 2048x2048 GeoSnap-18 (18-m pixel) focal plane module, which is
equipped with a capacitive transimpedance amplifier (CTIA) readout circuit
paired with an onboard 14-bit analog-to-digital converter (ADC). The final
assembly yields a mid-IR detector with high QE, fast readout (>85 Hz), large
well depth (>1.2 million electrons), and linear readout.
Longwave GeoSnap arrays would ideally be deployed on existing ground-based
telescopes as well as the next generation of extremely large telescopes. While
employing advanced adaptive optics (AO) along with state-of-the-art diffraction
suppression techniques, instruments utilizing these detectors could attain
background- and diffraction-limited imaging at inner working angles <10
, providing improved contrast-limited performance compared to JWST
MIRI while operating at comparable wavelengths. We describe the performance
characteristics of the 13-m GeoSnap array operating between 38-45K,
including quantum efficiency, well depth, linearity, gain, dark current, and
frequency-dependent (1/f) noise profile.Comment: 17 pages, 17 figures. Accepted for publication in special addition of
Astronomische Nachrichten / Astronomical Notes as a contribution to SDW202
Context-aware aspects
Context-aware applications behave differently depending on
the context in which they are running. Since context-specific behavior
tends to crosscut base programs, it can advantageously be implemented
as aspects. This leads to the notion of context-aware aspects, i.e., aspects
whose behavior depends on context. This paper analyzes the issue of
appropriate support from the aspect language to both restrict the scope
of aspects according to the context and allow aspect definitions to access
information associated to the context.We propose an open framework for
context-aware aspects that allows for the definition of first-class contexts
and supports the definition of context awareness constructs for aspects,
including the ability to refer to past contexts, and to provide domainand
application-specific constructs
- …