21. ASE 2006:
Tokyo,
Japan
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan.
IEEE Computer Society 2006, ISBN 0-7695-2579-2 BibTeX
Introduction
Keynote Talk
Modeling and Synthesis
Architecture
Testing
Impact Analysis
Analysis I
Traceability
Analysis II
Management
Mining Software Repositories
Short Papers
- Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos:
From Capability Specifications to Code for Multi-Agent Software.
253-256
Electronic Edition (link) BibTeX
- Matthias Book, Volker Gruhn, Gerald Mucke:
An Instant Message-Driven User Interface Framework for Thin Client Applications.
257-260
Electronic Edition (link) BibTeX
- Jürgen Falb, Thomas Röck, Edin Arnautovic:
Using communicative acts in interaction design specifications for automated synthesis of user interfaces.
261-264
Electronic Edition (link) BibTeX
- Ewen Denney, Bernd Fischer:
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract).
265-268
Electronic Edition (link) BibTeX
- Tien Nhut Nguyen:
A Unified Model for Product Data Management and Software Configuration Management.
269-272
Electronic Edition (link) BibTeX
- Tobias Reinhard, Christian Seybold, Silvio Meier, Martin Glinz, Nancy Merlo-Schett:
Human-Friendly Line Routing for Hierarchical Diagrams.
273-276
Electronic Edition (link) BibTeX
- Ken Satoh, Ken Kaneiwa, Takeaki Uno:
Contradiction Finding and Minimal Recovery for UML Class Diagrams.
277-280
Electronic Edition (link) BibTeX
- Alexander Paar, Walter F. Tichy:
Programming Language Inherent Support for Constrained XML Schema Definition Data Types and OWL DL.
281-284
Electronic Edition (link) BibTeX
- Odile Laurent, Christel Seguin, Virginie Wiels:
A methodology for automated test generation guided by functional coverage constraints at specification level.
285-288
Electronic Edition (link) BibTeX
- Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson:
An Automated Approach for Goal-driven, Specification-based Testing.
289-292
Electronic Edition (link) BibTeX
- Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie:
Effective Generation of Interface Robustness Properties for Static Analysis.
293-296
Electronic Edition (link) BibTeX
- Naouel Moha, Yann-Gaël Guéhéneuc, Pierre Leduc:
Automatic Generation of Detection Algorithms for Design Defects.
297-300
Electronic Edition (link) BibTeX
- Chang Liu, En Ye, Debra J. Richardson:
Software Library Usage Pattern Extraction Using a Software Model Checker.
301-304
Electronic Edition (link) BibTeX
- Mikhail Chalabine, Christoph W. Keßler, Peter Bunus:
Automated Round-trip Software Engineering in Aspect Weaving Systems.
305-308
Electronic Edition (link) BibTeX
- Andrew Ireland:
Towards Automatic Assertion Refinement for Separation Logic.
309-312
Electronic Edition (link) BibTeX
- Paolo Falcarin, Marco Torchiano:
Automated Reasoning on Aspects Interactions.
313-316
Electronic Edition (link) BibTeX
- Maximilian Storzer, Florian Forster:
Detecting Precedence-Related Advice Interference.
317-322
Electronic Edition (link) BibTeX
Doctoral Symposium
Formal Tool Demo Presentations
- Robert J. Hall:
LSS: A Tool for Large Scale Scenarios.
349-350
Electronic Edition (link) BibTeX
- Noriko Hanakawa, Nao Ikemiya:
A new web browser including a transferable function to Ajax codes.
351-352
Electronic Edition (link) BibTeX
- Yves Ledru, Lydie du Bousquet:
Tobias-Z: An executable formal specification of a test generator.
353-354
Electronic Edition (link) BibTeX
- Marc Lohmann, Gregor Engels, Stefan Sauer:
Model-driven Monitoring: Generating Assertions from Visual Contracts.
355-356
Electronic Edition (link) BibTeX
- Ward Douglas Maurer:
The Rearranger - A New Assembler Utility.
357-358
Electronic Edition (link) BibTeX
- Nadège Pontisso, David Chemouil:
TOPCASED Combining Formal Methods with Model-Driven Engineering.
359-360
Electronic Edition (link) BibTeX
- George Spanoudakis, Andrea Zisman:
UML-based Service Discovery Tool.
361-362
Electronic Edition (link) BibTeX
- Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito:
Automated Verification Tool for DHTML.
363-364
Electronic Edition (link) BibTeX
- Nikolai Tillmann, Wolfram Schulte:
Mock-object generation with behavior.
365-368
Electronic Edition (link) BibTeX
Mini Tutorials
Workshops
- Elisa L. A. Baniassad, Kung Chen, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao:
2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia).
375
Electronic Edition (link) BibTeX
- Yunwen Ye, Masao Ohira:
Second International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006).
376
Electronic Edition (link) BibTeX
- Katsuhisa Maruyama, Makoto Matsushita, Shinichiro Yamamoto:
Japanese Workshop on Leveraging Web2.0 Technologies in Software Development Environments (WebSDE).
377
Electronic Edition (link) BibTeX
- Takako Nakatani, Haruhiko Kaiya:
Japanese Workshop on Requirements Engineering Tools (JWRET).
378
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:27:51 2009
by Michael Ley (ley@uni-trier.de)