External Links

    Journal: Automated Software Engineering

    Volume 9, Issue 4

    331 -- 360Martin Traverso, Spiros Mancoridis. On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
    361 -- 404Daniela Rosca, Sol J. Greenspan, J. Christian Wild. Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
    405 -- 409Raymond J. Offe. Desert Island Reading: A Software Engineering Perspective

    Volume 9, Issue 3

    199 -- 0Mats Per Erik Heimdahl. Guest Editor s Introduction
    201 -- 232Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene. Proving Invariants of I/O Automata with TAME
    233 -- 261Robert J. Hall. Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design
    263 -- 284W. B. Martin, P. D. White, F. S. Taylor. Creating High Confidence in a Separation Kernel
    285 -- 319Nils Klarlund, Anders Møller, Michael I. Schwartzbach. The DSD Schema Language
    321 -- 334John C. Knight. Desert Island Books

    Volume 9, Issue 2

    135 -- 136Gruia-Catalin Roman, Amy L. Murphy. Guest Editorial: Software Engineering for Mobility
    137 -- 150Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini. Mark, a Reasoning Kit for Mobility
    151 -- 165Cecilia Mascolo, Luca Zanolin, Wolfgang Emmerich. XMILE: An XML Based Approach for Incremental Code Mobility and Update
    167 -- 186Shahram Izadi, Pedro Coutinho, Tom Rodden, Gareth Smith. The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments
    187 -- 191Alexander Borgida. Being Logical About Desert Island Reading

    Volume 9, Issue 1

    5 -- 0Mireille Ducassé. Introduction
    7 -- 39Dale E. Parson, Bryan Schlieder, Paul Beatty. Extension Language Automation of Embedded System Debugging
    41 -- 65Gyöngyi Szilágyi, Tibor Gyimóthy, Jan Maluszynski. Static and Dynamic Slicing of Constraint Logic Programs
    67 -- 94Yasuhiro Ajiro, Kazunori Ueda. Kima: An Automated Error Correction System for Concurrent Logic Programs
    95 -- 121Michiel Ronsse, Koenraad De Bosschere. Non-Intrusive Detection of Synchronization Errors Using Execution Replay
    123 -- 126T. S. E. Maibaum. Desert Island Column
    runs on