Spreadsheets Grow Up: Three Spreadsheet Engineering Methodologies for Large Financial Planning Models

Spreadsheets in Financial Departments: An Automated Analysis of 65,000 Spreadsheets using the Luminous Technology

SRS BUILDER 1.0: An Upper Type CASE Tool For Requirement Specification

Standard calibration procedure for pencil beam infrared sensors on spinning satellites. Volume 2: Applicable software and user manuals

Standardization of information systems development processes and banking industry adaptations

STANSE: Bug-finding Framework for C Programs

State and history in operating systems

State Space Exploration of RT Systems in the Cloud

Statechart Verification with iState

Stateful Testing: Finding More Errors in Code and Contracts

Static Analysis using Parameterised Boolean Equation Systems

Static and Dynamic Quality Assurance by Aspect Oriented Techniques

Steps towards a theory and calculus of aliasing

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