External Links

    Journal: Automated Software Engineering

    Volume 13, Issue 4

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

    Volume 13, Issue 3

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

    Volume 13, Issue 2

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

    Volume 13, Issue 1

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