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
Volume 7, Number 2, May 2000
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
Volume 7, Number 3, July 2000
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
Volume 7, Number 4, December 2000
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
Copyright ©
Sat May 16 23:51:12 2009 by
Michael Ley
(
ley@uni-trier.de
)