Effective use of assertions in C++
ACM SIGPLAN Notices
A survey of software inspection checklists
ACM SIGSOFT Software Engineering Notes
Design of a major in software development
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Design guidelines for robust Internet protocols
ACM SIGCOMM Computer Communication Review
Exstatic: a generic static checker applied to documentation systems
Proceedings of the 22nd annual international conference on Design of communication: The engineering of quality documentation
Checking marked-up documentation for adherance to site-specific standards
Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information
A: an assertion language for distributed systems
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
| Hi-index | 0.00 |