88 search results - page 9 / 18 » Overhearing Conversations in Global Software Engineering - R... |
CSMR
2005
IEEE
14 years 1 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
C3S2E
2008
ACM
13 years 9 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
TSE
2010
13 years 5 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
COMPSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...