


default search action
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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














