External Links

    Journal: IEEE Trans. Software Eng.

    Volume 20, Issue 6

    405 -- 423Venkatesh Akella, Ganesh Gopalakrishnan. Specification and Validation of Control-Intensive IC s in hopCP
    424 -- 431Nirmal R. Saxena, Edward J. McCluskey. Linear Complexity Assertions for Sorting
    432 -- 444Phillip Krueger, Niranjan G. Shivaratri. Adaptive Location Policies for Global Scheduling
    445 -- 462William E. Howden, Bruce Wieand. QDA-A Method for Systematic Informal Program Analysis
    463 -- 475Santanu Paul, Atul Prakash. A Framework for Source Code Search Using Program Patterns
    476 -- 493Shyam R. Chidamber, Chris F. Kemerer. A Metrics Suite for Object Oriented Design
    494 -- 499Claes Wohlin, Per Runeson. Certification of Software Components
    500 -- 504Mitchell Flatebo, Ajoy Kumar Datta. Two-State Self-Stabilizing Algorithms for Token Rings
    runs on