2493 search results - page 435 / 499 » Tool Support for Design by Contract |
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
IEEEPACT
2000
IEEE
15 years 2 months ago
2000
IEEE
As on-chip integration matures, single-chip system designers must not only be concerned with component-level issues such as performance and power, but also with onchip system-leve...
CHI
2000
ACM
15 years 2 months ago
2000
ACM
Voicemail is a pervasive, but under-researched tool for workplace communication. Despite potential advantages of voicemail over email, current phone-based voicemail UIs are highly...
ICCBR
1999
Springer
15 years 2 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...