Automated Software Engineering, Volume 9

Volume 9, Number 1, January 2002

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

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

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

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