External Links

    Journal: Automated Software Engineering

    Volume 13, Issue 1

    5 -- 40Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. Keller. Automated Prototyping of User Interfaces Based on UML Scenarios
    41 -- 64Alexander Egyed, Robert Balzer. Integrating COTS Software into Systems through Instrumentation and Reasoning
    65 -- 105Andrew Ireland, Jamie Stark. Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
    107 -- 167Vincenzo Ambriola, Vincenzo Gervasi. On the Systematic Analysis of Natural Language Requirements with C
    169 -- 193Josh Dehlinger, Robyn R. Lutz. PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
    runs on