2493 search results - page 282 / 499 » Tool Support for Design by Contract |
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Understanding the structure of large existing (and evolving) software systems is a major challenge for software engineers. In reverse engineering, we aim to compute, for a given s...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
106
click to vote
UML
2005
Springer
15 years 4 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
ITICSE
2003
ACM
15 years 4 months ago
2003
ACM
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...