2493 search results - page 240 / 499 » Tool Support for Design by Contract |
CSCW
2004
ACM
15 years 4 months ago
2004
ACM
Information hiding is one of the most important and influential principles in software engineering. It prescribes that software modules hide implementation details from other modu...
171
click to vote
STOC
1993
ACM
15 years 3 months ago
1993
ACM
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...
ISSTA
2007
ACM
15 years 18 days ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
DAGSTUHL
2007
15 years 15 days ago
2007
Knowledge Update (respectively Erasure) and Forgetting are two very different concepts, with very different underlying motivation. Both are tools for knowledge management; however ...
TOSEM
1998
14 years 10 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...