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
  
• Alexander Egyed, Robert Balzer:
  Integrating COTS Software into Systems through Instrumentation and Reasoning. 41-64
  
• Andrew Ireland, Jamie Stark:
  Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. 65-105
  
• Vincenzo Ambriola, Vincenzo Gervasi:
  On the Systematic Analysis of Natural Language Requirements with C. 107-167
  
• Josh Dehlinger, Robyn R. Lutz:
  PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. 169-193
  

Volume 13, Number 2, April 2006

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

Volume 13, Number 3, July 2006

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

Volume 13, Number 4, October 2006

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