3799 search results - page 662 / 760 » An Engineering Approach to Formal Methods |
222
click to vote
SEW
2006
IEEE
16 years 10 days ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
169
click to vote
EUROMICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
155
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
174
click to vote
IWMM
2010
Springer
15 years 11 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
179
click to vote
CSCWD
2001
Springer
15 years 10 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...