805 search results - page 41 / 161 » Software Quality Through Requirement and Design |
132
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Ever increasing performance requirements have elevated deeply pipelined architectures to a standard even in the embedded processor domain, requiring the incorporation of dynamic b...
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
112
click to vote
TAICPART
2006
IEEE
15 years 8 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
108
click to vote
ICMCS
1999
IEEE
15 years 6 months ago
1999
IEEE
We submit a method (EMPI: Evaluation of Multimedia, Pedagogical and Interactive software) to evaluate multimedia software used in educational context. Our purpose is to help users...
106
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...