default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated 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
Volume 7, Number 2, May 2000
- 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
Volume 7, Number 3, July 2000
- 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 - Raúl Monroy, Alan Bundy, Ian Green:
Planning Proofs of Equations in CCS. 263-304 - Premkumar T. Devanbu:
Desert Island Column. 305-308
Volume 7, Number 4, December 2000
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-03 23:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
