default search action

combined dblp search
author search
venue search
publication search

ask others

Automated Software Engineering, Volume 7

> Home > Journals > Automated Software Engineering

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 7, Number 1, March 2000

- view
  authority control:
- export record
  dblp key:
  - journals/ase/Nuseibeh00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Nuseibeh00
Bashar Nuseibeh:
Editorial. 5
- view
  authority control:
- export record
  dblp key:
  - journals/ase/MaibaumR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/MaibaumR00
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
- view
  authority control:
- export record
  dblp key:
  - journals/ase/BiderKP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/BiderKP00
Ilia Bider, Maxim Khomyakov, E. Pushchinsky:
Logic of Change: Semantics of Object Systems with Active Relations. 9-37
- view
  authority control:
- export record
  dblp key:
  - journals/ase/MensD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/MensD00
Tom Mens, Theo D'Hondt:
Automating Support for Software Evolution in UML. 39-59
- view
  authority control:
- export record
  dblp key:
  - journals/ase/StegglesK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/StegglesK00
L. J. Steggles, Piotr Kosiuczenko:
A Formal Model for SDL Specifications Based on Timed Rewriting Logic. 61-90
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Wasserman00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Wasserman00
Anthony I. Wasserman:
Three Books for a Desert Island. 91-93

Volume 7, Number 2, May 2000

- view
  authority control:
- export record
  dblp key:
  - journals/ase/NuseibehR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/NuseibehR00
Bashar Nuseibeh, David F. Redmiles:
Introduction to Special Issue. 99-100
- view
  authority control:
- export record
  dblp key:
  - journals/ase/StirewaltR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/StirewaltR00
Kurt Stirewalt, Spencer Rugaber:
The Model-Composition Problem in User-Interface Generation. 101-124
- view
  authority control:
- export record
  dblp key:
  - journals/ase/MorascaMP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/MorascaMP00
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
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Hall00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Hall00
Robert J. Hall:
Explanation-Based Scenario Generation for Reactive System Models. 157-177
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Fischer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Fischer00
Bernd Fischer:
Specification-Based Browsing of Software Component Libraries. 179-200
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Clancey00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Clancey00
William J. Clancey:
Desert Island Column: Marooned on Mars: Mind-Spinning Books for Software Engineers. 201-205

Volume 7, Number 3, July 2000

- view
  authority control:
- export record
  dblp key:
  - journals/ase/MoffettV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/MoffettV00
Jonathan D. Moffett, Andrew Vickers:
Behavioural Conflicts in a Causal Specification. 215-238
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Abd-El-Hafiz00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Abd-El-Hafiz00
Salwa K. Abd-El-Hafiz:
Identifying Objects in Procedural Programs Using Clustering Neural Networks. 239-261
- view
  authority control:
- export record
  dblp key:
  - journals/ase/MonroyBG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/MonroyBG00
Raúl Monroy, Alan Bundy, Ian Green:
Planning Proofs of Equations in CCS. 263-304
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Devanbu00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Devanbu00
Premkumar T. Devanbu:
Desert Island Column. 305-308

Volume 7, Number 4, December 2000

- view
  authority control:
- export record
  dblp key:
  - journals/ase/WahlsLB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/WahlsLB00
Tim Wahls, Gary T. Leavens, Albert L. Baker:
Executing Formal Specifications with Concurrent Constraint Programming. 315-343
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Blazy00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Blazy00
Sandrine Blazy:
Specifying and Automatically Generating a Specialization Tool for Fortran 90. 345-376
- view
  authority control:
- export record
  dblp key:
  - journals/ase/Mylopoulos00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/Mylopoulos00
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.