10241 search results - page 1545 / 2049 » Goal-Driven Software Development |
136
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
126
Voted
LCPC
2004
Springer
15 years 10 months ago
2004
Springer
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
122
Voted
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they deļ...
150
click to vote
RISE
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for deļ¬ning a lightweight modelāchecking algorithm for re...
126
Voted
SSPR
2004
Springer
15 years 10 months ago
2004
Springer
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...