310 search results - page 54 / 62 » Implementing Java modeling language contracts with AspectJ |
VEE
2010
ACM
14 years 3 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
JOT
2008
13 years 8 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
CE
2005
13 years 8 months ago
2005
Laboratory exercises, field observations and field trips are a fundamental part of many earth science and environmental science courses. Field observations and field trips can be ...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
SIGSOFT
2000
ACM
14 years 24 days ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...