3388 search results - page 419 / 678 » Type-theoretic design patterns |
135
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
151
click to vote
OOPSLA
2005
Springer
16 years 4 days 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...
201
click to vote
SEKE
2005
Springer
16 years 3 days 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 ...
155
click to vote
TGC
2005
Springer
16 years 3 days 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...
171
click to vote
ZUM
2005
Springer
16 years 3 days 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...