Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law

Software Metrics Evaluation Based on Entropy

Software Model Checking via Large-Block Encoding

Software Must Move! A Description of the Software Assembly Line

Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology

Software production in a large space project - the SPOT mission centre

Software QA-Spacelab experience and future trends

Software Requirements Specification of the IUfA's UUIS -- a Team 1 COMP5541-W10 Project Approach

Software Requirements Specification of the IUfA's UUIS -- a Team 2 COMP5541-W10 Project Approach

Software Requirements Specification of the IUfA's UUIS -- a Team 3 COMP5541-W10 Project Approach

Software Requirements Specification of the IUfA's UUIS -- a Team 4 COMP5541-W10 Project Approach

Software reverse engineering and development: the VST TCS case

Software Security Rules, SDLC Perspective

Software Validation using Power Profiles

Solving package dependencies: from EDOS to Mancoosi

Solving the TTC 2011 Compiler Optimization Case with GReTL

Solving the TTC 2011 Compiler Optimization Case with GROOVE

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

Solving the TTC 2011 Compiler Optimization Task with metatools

Solving the TTC 2011 Model Migration Case with Edapt