3706 search results - page 510 / 742 » The Transformational Approach to Program Development |
164
click to vote
VL
2002
IEEE
15 years 10 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...
154
click to vote
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
166
click to vote
DAC
2006
ACM
15 years 7 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
140
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
It would be useful if software engineers/instructors could be aware that remote team members/students are having difficulty with their programming tasks. We have developed an appr...
145
Voted
SERP
2003
15 years 6 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...