2493 search results - page 239 / 499 » Tool Support for Design by Contract |
JOT
2008
14 years 11 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
110
click to vote
DT
2006
14 years 11 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
83
Voted
KDD
2009
ACM
15 years 5 months ago
2009
ACM
The Border Gateway Protocol (BGP) is one of the fundamental computer communication protocols. Monitoring and mining BGP update messages can directly reveal the health and stabilit...
WIKIS
2009
ACM
15 years 5 months ago
2009
ACM
Due to the inherent difficulty in obtaining experimental data from wikis, past quantitative wiki research has largely been focused on Wikipedia, limiting the degree that it can be...
OOPSLA
2005
Springer
15 years 4 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...