External Links

    Journal: IEEE Trans. Software Eng.

    Volume 26, Issue 1

    1 -- 14Chris Sauer, D. Ross Jeffery, Lesley Pek Wee Land, Philip Yetton. The Effectiveness of Software Development Technical Reviews: A Behaviorally Motivated Program of Research
    15 -- 35Nancy G. Leveson. Intent Specifications: An Approach to Building Human-Centered Specifications
    36 -- 54Andrea Bobbio, Antonio Puliafito, Miklós Telek. A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
    55 -- 69Sergio Antoy, Richard G. Hamlet. Automatically Checking an Implementation against Its Formal Specification
    70 -- 93Nenad Medvidovic, Richard N. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages
    runs on