403 search results - page 72 / 81 » Integrating Z into Large Projects Tools and Techniques |
ISSRE
2003
IEEE
15 years 2 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...
80
Voted
DASFAA
2003
IEEE
15 years 2 months ago
2003
IEEE
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...
VLDB
1997
ACM
15 years 1 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...
EUROSYS
2008
ACM
15 years 6 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
PPPJ
2006
ACM
15 years 3 months ago
2006
ACM
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...