Automated Software Engineering, Volume 7

Volume 7, Number 1, March 2000

Bashar Nuseibeh: Editorial. 5 BibTeX
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 BibTeX
Ilia Bider, Maxim Khomyakov, E. Pushchinsky: Logic of Change: Semantics of Object Systems with Active Relations. 9-37 BibTeX
Tom Mens, Theo D'Hondt: Automating Support for Software Evolution in UML. 39-59 BibTeX
L. J. Steggles, Piotr Kosiuczenko: A Formal Model for SDL Specifications Based on Timed Rewriting Logic. 61-90 BibTeX
Anthony I. Wasserman: Three Books for a Desert Island. 91-93 BibTeX

Bashar Nuseibeh, David F. Redmiles: Introduction to Special Issue. 99-100 BibTeX
Kurt Stirewalt, Spencer Rugaber: The Model-Composition Problem in User-Interface Generation. 101-124 BibTeX
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 BibTeX
Robert J. Hall: Explanation-Based Scenario Generation for Reactive System Models. 157-177 BibTeX
Bernd Fischer: Specification-Based Browsing of Software Component Libraries. 179-200 BibTeX
William J. Clancey: Desert Island Column: Marooned on Mars: Mind-Spinning Books for Software Engineers. 201-205 BibTeX

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

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