16725 search results - page 689 / 3345 » Engineering Software Correctness |
213
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
198
click to vote
EWSPT
2001
Springer
15 years 12 months ago
2001
Springer
In this paper we discuss that software processes for the development of electronic commerce systems are different from software processes for other kinds of information systems. We...
218
click to vote
EMSOFT
2005
Springer
16 years 28 days ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
228
click to vote
AOSD
2003
ACM
16 years 19 days ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
221
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...