sTeX+ - a System for Flexible Formalization of Linked Data

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

Stratified Outsourcing Theory

Strong Dependencies between Software Components

Structural Learning of Attack Vectors for Generating Mutated XSS Attacks

Structure and Behaviour of Virtual Organisation Breeding Environments

Structure and Interpretation of Computer Programs

Study on the perturbation of lunar and planetary orbiters

Study Paper on Test Case generation for GUI Based Testing

Studying the Feasibility and Importance of Software Testing: An Analysis

Support for Debugging Automatically Parallelized Programs

Support for Evolving Software Architectures in the ArchWare ADL

Survey of Technologies for Web Application Development

Survey-Based Analysis of the Proposed Component-Based Development Process

Symbolic Implementation of Connectors in BIP

Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study

System Integration of High Level Applications during the Commissioning of the Swiss Light Source

Systematic Debugging of Attribute Grammars

Systematic Method for Path-Complete White Box Testing