Sciweavers

1027 search results - page 85 / 206
» A Model for Java with Wildcards
Sort
View
ICSE
2001
IEEE-ACM
15 years 8 months ago
Designing Components Versus Objects: A Transformational Approach
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...
David H. Lorenz, John M. Vlissides
140
Voted
CHI
2000
ACM
15 years 7 months ago
Agents to assist in finding help
When a novice needs help, often the best solution is to find a human expert who is capable of answering the novice’s questions. But often, novices have difficulty characterizing...
Adriana Santarosa Vivacqua, Henry Lieberman
159
Voted
FM
2008
Springer
137views Formal Methods» more  FM 2008»
15 years 5 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
AOSD
2003
ACM
15 years 8 months ago
JAsCo: an aspect-oriented approach tailored for component based software development
In this paper we introduce a novel aspect oriented implementation language, called JAsCo. JAsCo is tailored for component based development and the Java Beans component model in p...
Davy Suvée, Wim Vanderperren, Viviane Jonck...
160
Voted
CORR
2010
Springer
132views Education» more  CORR 2010»
14 years 10 months ago
Automated co-evolution of GMF editor models
Abstract. The Eclipse Graphical Modeling (GMF) Framework provides the major approach for implementing visual languages on top of the Eclipse platform. GMF relies on a family of mod...
Davide Di Ruscio, Ralf Lämmel, Alfonso Pieran...