1886 search results - page 211 / 378 » Modeling and Enacting Software Processes Using VRPML |
189
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
157
click to vote
ICSM
2009
IEEE
16 years 29 days ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
152
click to vote
ISESE
2006
IEEE
16 years 10 days ago
2006
IEEE
How do design decisions impact the quality of the resulting software? In an empirical study of 52 ECLIPSE plug-ins, we found that the software design as well as past failure histo...
179
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
187
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...