default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 12
Volume 12, Number 1, January 2005
- John C. Grundy
, Yuhong Cai, Anna Liu:
SoftArch/MTE: Generating Distributed System Test-Beds from High-Level Software Architecture Descriptions. 5-39 - Robert J. Hall:
Fundamental Nonmodularity in Electronic Mail. 41-79 - Gruia-Catalin Roman, Jamie Payton:
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks. 81-99 - Valérie Issarny, Daniele Sacchetti, Ferda Tartanoglu, Françoise Sailhan, Rafik Chibout, Nicole Lévy, Angel Talamona:
Developing Ambient Intelligence Systems: A Solution based on Web Services. 101-137 - Susan Stepney:
Desert Island Column. 139-141
Volume 12, Number 2, April 2005
- Grigore Rosu, Klaus Havelund:
Rewriting-Based Techniques for Runtime Verification. 151-197 - Yunwen Ye, Gerhard Fischer:
Reuse-Conducive Development Environments. 199-235 - Yasuyuki Tsukada:
Interactive and Probabilistic Proof of Mobile Code Safety. 237-257 - Paolo Tonella, Filippo Ricca:
Web Application Slicing in Presence of Dynamic Code Generation. 259-288
Volume 12, Number 3, July 2005
- Wolfgang Emmerich, David Wile:
Introduction. 295-296 - Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
Component Verification with Automatically Generated Assumptions. 297-320 - Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
Deviation Analysis: A New Use of Model Checking. 321-347 - Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Modular Verification of Open Features Using Three-Valued Model Checking. 349-382 - Pankaj K. Garg:
Desert Island Reading: Back to the Future. 383-384
Volume 12, Number 4, October 2005
- Wolfgang Emmerich, David Wile:
Introduction. 391-392 - Steve Roach, Jeffrey Van Baalen:
Automated Procedure Construction for Deductive Synthesis. 393-414 - Robert J. Hall:
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. 415-446 - Prasanna Padmanabhan, Robyn R. Lutz:
Tool-Supported Verification of Product Line Requirements. 447-465
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-31 20:15 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:
