5961 search results - page 507 / 1193 » Design Science and Software Engineering |
202
click to vote
VSTTE
2005
Springer
16 years 21 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
186
click to vote
VSTTE
2005
Springer
16 years 21 days ago
2005
Springer
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
165
click to vote
PPPJ
2004
ACM
16 years 20 days ago
2004
ACM
This paper presents the “Safe-Instantiation Principle,” a new design principle for evaluating extensions of Java with support for generic types. We discuss the GJ and NextGen ...
168
click to vote
WOSP
2004
ACM
16 years 20 days ago
2004
ACM
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
188
click to vote
XPU
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...