4803 search results - page 681 / 961 » Design patterns for games |
145
click to vote
OOPSLA
2005
Springer
16 years 19 hour ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
200
click to vote
SEKE
2005
Springer
16 years 11 hour ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
152
click to vote
TGC
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
166
click to vote
ZUM
2005
Springer
16 years 4 hour ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
170
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...