Automated Software Engineering, Volume 13

Volume 13, Number 1, January 2006

• Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. Keller:
  Automated Prototyping of User Interfaces Based on UML Scenarios. 5-40
  Electronic Edition (link) BibTeX
• Alexander Egyed, Robert Balzer:
  Integrating COTS Software into Systems through Instrumentation and Reasoning. 41-64
  Electronic Edition (link) BibTeX
• Andrew Ireland, Jamie Stark:
  Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. 65-105
  Electronic Edition (link) BibTeX
• Vincenzo Ambriola, Vincenzo Gervasi:
  On the Systematic Analysis of Natural Language Requirements with C. 107-167
  Electronic Edition (link) BibTeX
• Josh Dehlinger, Robyn R. Lutz:
  PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. 169-193
  Electronic Edition (link) BibTeX

Volume 13, Number 2, April 2006

• Rick Kazman, Arie van Deursen, Rainer Koschke:
  Introduction. 199-200
  Electronic Edition (link) BibTeX
• Henk Koning, Hans van Vliet:
  Real-life IT architecture design reports and their relation to IEEE Std 1471 stakeholders and concerns. 201-223
  Electronic Edition (link) BibTeX
• Nenad Medvidovic, Vladimir Jakobac:
  Using software evolution to focus architectural recovery. 225-256
  Electronic Edition (link) BibTeX
• Gang Huang, Hong Mei, Fuqing Yang:
  Runtime recovery and manipulation of software architecture of component-based systems. 257-281
  Electronic Edition (link) BibTeX
• Robert M. Hierons:
  Separating sequence overlap for automated test sequence generation. 283-301
  Electronic Edition (link) BibTeX
• Anthony Savidis, Constantine Stephanidis:
  Automated user interface engineering with a pattern reflecting programming language. 303-339
  Electronic Edition (link) BibTeX

Volume 13, Number 3, July 2006

• John Penix, John C. Grundy:
  Guest Editors' Introduction. 343-344
  Electronic Edition (link) BibTeX
• Tao Xie, David Notkin:
  Tool-assisted unit-test generation and selection based on operational abstractions. 345-371
  Electronic Edition (link) BibTeX
• Stefan Biffl, Paul Grünbacher, Michael Halling:
  A family of experiments to investigate the effects of groupware for software inspection. 373-394
  Electronic Edition (link) BibTeX
• Thomas Ellman:
  Specification and synthesis of hybrid automata for physics-based animation. 395-418
  Electronic Edition (link) BibTeX

Volume 13, Number 4, October 2006

• Zhaoxia Hu, Sol M. Shatz:
  Explicit modeling of semantics associated with composite states in UML statecharts. 423-467
  Electronic Edition (link) BibTeX
• Karsten Loer, Michael D. Harrison:
  An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. 469-496
  Electronic Edition (link) BibTeX
• Amel Mammar, Régine Laleau:
  A formal approach based on UML and B for the specification and development of database applications. 497-528
  Electronic Edition (link) BibTeX