6800 search results - page 565 / 1360 » Testing with Functions as Specifications |
164
click to vote
IPPS
2000
IEEE
15 years 12 months ago
2000
IEEE
The development of communications services for distributed applications that are both well-structured (layered) and efficient can be difficult. This paper presents a C++ framework...
209
click to vote
GROUP
1999
ACM
15 years 12 months ago
1999
ACM
This paper reports on a study of clinicians who care for diabetic patients, and on the design of an application to support their work. The clinicians' long-term activity is r...
204
click to vote
HASE
1999
IEEE
15 years 12 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
177
click to vote
VL
1999
IEEE
15 years 12 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
184
click to vote
DCC
1998
IEEE
15 years 11 months ago
1998
IEEE
The increasing importance of Unicode for text files, for example with Java and in some modern operating systems, implies a possible doubling of data storage space and data transmi...