6581 search results - page 1222 / 1317 » Formalizing Design Patterns |
156
click to vote
OOPSLA
2009
Springer
16 years 25 days ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
159
click to vote
RE
2009
Springer
16 years 25 days ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
152
click to vote
ISSTA
2009
ACM
16 years 24 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
150
click to vote
KCAP
2009
ACM
16 years 24 days ago
2009
ACM
This demo presents the Cupboard online system for sharing and reusing ontologies linked together with alignments, and that are attached to rich metadata and reviews. Categories an...
159
click to vote
SACMAT
2009
ACM
16 years 24 days ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...