Sciweavers

6343 search results - page 302 / 1269
» Development of a Cartographic Language
Sort
View
OOPSLA
2009
Springer
16 years 1 months ago
Supporting model evolution through demonstration-based model transformation
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
Yu Sun
ESOP
2005
Springer
16 years 3 days ago
Subtyping First-Class Polymorphic Components
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
João Costa Seco, Luís Caires
VSTTE
2005
Springer
16 years 1 days ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
ECOOP
1998
Springer
15 years 10 months ago
Orthogonal to the Java Imperative
Three nontrivial limitations of the existing JavaT M technology are considered from the viewpoint of object-oriented database technology. The limitations are: lack of support for o...
Suad Alagic, Jose Solorzano, David Gitchell
DEBS
2007
ACM
15 years 10 months ago
Software architecture using fine-grained event-driven reactive components
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
Paul Tarvydas, Norm Sanford