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

Last update Tue Feb 14 04:14:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page