External Links

    Journal: Automated Software Engineering

    Volume 7, Issue 4

    315 -- 343Tim Wahls, Gary T. Leavens, Albert L. Baker. Executing Formal Specifications with Concurrent Constraint Programming
    345 -- 376Sandrine Blazy. Specifying and Automatically Generating a Specialization Tool for Fortran 90
    377 -- 380John Mylopoulos. Desert Island Column: A Trip to Carthea

    Volume 7, Issue 3

    215 -- 238Jonathan D. Moffett, Andrew Vickers. Behavioural Conflicts in a Causal Specification
    239 -- 261Salwa K. Abd-El-Hafiz. Identifying Objects in Procedural Programs Using Clustering Neural Networks
    263 -- 304Raul Monroy, Alan Bundy, Ian Green. Planning Proofs of Equations in CCS
    305 -- 308Premkumar T. Devanbu. Desert Island Column

    Volume 7, Issue 2

    99 -- 100Bashar Nuseibeh, David F. Redmiles. Introduction to Special Issue
    101 -- 124Kurt Stirewalt, Spencer Rugaber. The Model-Composition Problem in User-Interface Generation
    125 -- 155Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro. A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
    157 -- 177Robert J. Hall. Explanation-Based Scenario Generation for Reactive System Models
    179 -- 200Bernd Fischer. Specification-Based Browsing of Software Component Libraries
    201 -- 205William J. Clancey. Desert Island Column: Marooned on Mars: Mind-Spinning Books for Software Engineers

    Volume 7, Issue 1

    5 -- 0Bashar Nuseibeh. Editorial
    7 -- 8T. S. E. Maibaum, Bernhard Rumpe. Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE 98 Workshop)
    9 -- 37Ilia Bider, Maxim Khomyakov, E. Pushchinsky. Logic of Change: Semantics of Object Systems with Active Relations
    39 -- 59Tom Mens, Theo D'Hondt. Automating Support for Software Evolution in UML
    61 -- 90L. J. Steggles, Piotr Kosiuczenko. A Formal Model for SDL Specifications Based on Timed Rewriting Logic
    91 -- 93Anthony I. Wasserman. Three Books for a Desert Island
    runs on