3706 search results - page 116 / 742 » The Transformational Approach to Program Development |
165
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...
127
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
135
click to vote
TLCA
1999
Springer
15 years 10 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...
156
click to vote
ASWEC
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
138
click to vote
ANSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...