3388 search results - page 1 / 678 » Type-theoretic design patterns |
TLCA
1999
Springer
13 years 8 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
JSS
2010
12 years 11 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
CHB
2010
12 years 11 months ago
2010
Interaction design patterns are a proven way to communicate good design. However, current pattern collections are not sufficiently powerful and generative to be used as a guide fo...
ICSR
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
ISCI
2011
12 years 11 months ago
2011
It is well known that software maintenance and evolution are expensive activities, both in terms of invested time and money. Reverse engineering activities support the obtainment ...