4266 search results - page 70 / 854 » Search for More Declarativity |
AOSD
2010
ACM
14 years 5 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Software practitioners experience pressure to compromise their work and their reasonable care for others. Even as software becomes more beneficial, pervasive, and interconnected, ...
CIBSE
2009
ACM
14 years 4 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
CSFW
2008
IEEE
14 years 4 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
PADL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...