Automated Software Engineering, Volume 7

Volume 7, Number 1, March 2000

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

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

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

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