89 search results - page 5 / 18 » Transformation Laws for UML-RT |
OOPSLA
2004
Springer
14 years 1 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ļ...
DPHOTO
2010
13 years 10 months ago
2010
We describe the procedure to evaluate the image quality of a camera in terms of texture preservation. We use a stochastic model coming from stochastic geometry, and known as the d...
LICS
1997
IEEE
14 years 23 days ago
1997
IEEE
We present a categorical theory of āwell-behavedā operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
CEC
2007
IEEE
14 years 16 days ago
2007
IEEE
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics is computed by metabolic algorithms which...
AMAI
2007
Springer
13 years 8 months ago
2007
Springer
We present here a formal foundation for an iterative and incremental approach to constructing and evaluating preference queries. Our main focus is query modiļ¬cation: a query tran...