3706 search results - page 116 / 742 » The Transformational Approach to Program Development |
AOSD
2007
ACM
15 years 1 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...
EWSA
2006
Springer
15 years 1 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...
TLCA
1999
Springer
15 years 2 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...
ASWEC
2006
IEEE
15 years 3 months 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...
ANSS
2000
IEEE
15 years 2 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...