1077 search results - page 96 / 216 » Introducing Software Engineering by means of Extreme Program... |
152
Voted
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
131
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
151
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
123
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
135
click to vote
ICHIT
2009
Springer
15 years 11 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...