6149 search results - page 699 / 1230 » Revealing the programming process |
171
click to vote
ACSC
2002
IEEE
16 years 5 days ago
2002
IEEE
This paper describes the use of the reflective journal in a computer programming course at the University of South Australia. We describe rationale for the journal relating it to ...
216
click to vote
FCCM
2002
IEEE
16 years 4 days ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
185
click to vote
HICSS
2002
IEEE
16 years 4 days ago
2002
IEEE
The Internet has made transfer of knowledge of successful community development programs and processes possible by allowing practitioners to connect through computer-mediated-comm...
214
click to vote
CIBSE
2009
ACM
15 years 12 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
171
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...