TRANSACTIONS ON COMPUTERS: Carefully refereed, archival papersonallfields of computation, information processing, applications, andcomputersystemsresearch anddesign. Published monthly. TRANSACTIONS ON SOFTWAREENGINEERING: Carefully refereed, archival papersonall aspects ofthespecification, developme