1782 search results - page 173 / 357 » Tool Support for Proof Engineering |
135
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
158
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...
162
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding informa...
170
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Back in 2001, the MIT announced aspect-oriented programming as a key technology in the next 10 years. Nowadays, 8 years later, AOP is not widely adopted. Several reasons can expla...
170
click to vote
SEAA
2008
IEEE
16 years 26 days ago
2008
IEEE
Mobile devices are considered to be very useful in adhoc and team collaborations, for example in disaster responses, where dedicated infrastructures are not available. Such collab...