Aspects of SOA: An Entry Point for Starters

Assertion checker for the C programming language based on computations over event traces

Assessment of OGC Web Processing Services for REST principles

Athos - The C# GUI Generator

Automated co-evolution of GMF editor models

Automated Debugging In Java Using OCL And JDI

Automated Fault Localization Using Potential Invariants

Automated Functional Testing based on the Navigation of Web Applications

Automated Improvement for Component Reuse

Automated Software Testing Using Metahurestic Technique Based on An Ant Colony Optimization

Automatic Debugging Support for UML Designs

Automatic Verification of Parametric Specifications with Complex Topologies

Automating Spreadsheet Discovery & Risk Assessment

AutoMoDe - Model-Based Development of Automotive Software

Autonomic html interface generator for web applications

Availability Guarantee for Deterministic Replay Starting Points in Real-Time Systems