3388 search results - page 92 / 678 » Type-theoretic design patterns |
139
Voted
EUROPLOP
2006
15 years 6 months ago
2006
Relationships between objects are almost as important to designs as the objects themselves. Most programming languages do not support relationships well, so programmers must imple...
130
click to vote
IASTEDSE
2004
15 years 6 months ago
2004
: Software evolves as requirements or technologies change. Tremendous efforts are often needed to support software evolution as evolution may involve reverse engineering and subseq...
238
click to vote
ESSOS
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Today, software security is an issue with increasing importance. Developers, software designers, end users, and enterprises have their own needs w.r.t. software security....
129
Voted
EUROPLOP
2006
15 years 6 months ago
2006
With the incresing presence on the Web of hypermedia contents with temporal constraints (time-based hypermedia), such as multimedia presentations, there must be a precise form to ...
156
click to vote
SEW
2007
IEEE
15 years 11 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...