default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 9
Volume 9, Number 1, January 2002
- Mireille Ducassé:
Introduction. 5 - Dale E. Parson, Bryan Schlieder, Paul Beatty:
Extension Language Automation of Embedded System Debugging. 7-39 - Gyöngyi Szilágyi, Tibor Gyimóthy
, Jan Maluszynski:
Static and Dynamic Slicing of Constraint Logic Programs. 41-65 - Yasuhiro Ajiro, Kazunori Ueda:
Kima: An Automated Error Correction System for Concurrent Logic Programs. 67-94 - Michiel Ronsse, Koenraad De Bosschere:
Non-Intrusive Detection of Synchronization Errors Using Execution Replay. 95-121 - T. S. E. Maibaum:
Desert Island Column. 123-126
Volume 9, Number 2, April 2002
- Gruia-Catalin Roman, Amy L. Murphy:
Guest Editorial: Software Engineering for Mobility. 135-136 - Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini:
Mark, a Reasoning Kit for Mobility. 137-150 - Cecilia Mascolo, Luca Zanolin, Wolfgang Emmerich:
XMILE: An XML Based Approach for Incremental Code Mobility and Update. 151-165 - Shahram Izadi, Pedro Coutinho, Tom Rodden, Gareth Smith:
The FUSE Platform: Supporting Ubiquitous Collaboration Within Diverse Mobile Environments. 167-186 - Alexander Borgida:
Being Logical About Desert Island Reading. 187-191
Volume 9, Number 3, August 2002
- Mats Per Erik Heimdahl:
Guest Editor's Introduction. 199 - Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Proving Invariants of I/O Automata with TAME. 201-232 - Robert J. Hall:
Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design. 233-261 - W. B. Martin, P. D. White, F. S. Taylor:
Creating High Confidence in a Separation Kernel. 263-284 - Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
The DSD Schema Language. 285-319 - John C. Knight:
Desert Island Books. 321-334
Volume 9, Number 4, October 2002
- Martin Traverso, Spiros Mancoridis:
On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems. 331-360 - Daniela Rosca, Sol J. Greenspan, J. Christian Wild:
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle. 361-404 - Raymond J. Offen:
Desert Island Reading: A Software Engineering Perspective. 405-409
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 2024-10-08 20:34 CEST 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:
