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