3706 search results - page 23 / 742 » The Transformational Approach to Program Development |
CC
2008
Springer
13 years 9 months ago
2008
Springer
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
IJCAI
1989
13 years 8 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
SPE
2002
13 years 7 months ago
2002
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
GPCE
2007
Springer
14 years 1 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...