SParTSim: A Space Partitioning Guided by Road Network for Distributed Traffic Simulations

Speculative Requirements: Automatic Detection of Uncertainty in Natural Language Requirements

SLuRp a tool to help large complex systematic literature reviews deliver valid and rigorous results

SMT-based bounded model checking for embedded ANSI-C software

SOAdapt: A Process Reference Model for Developing Adaptable Service-Based Applications

Social Adaptation: When Software Gives Users a Voice

Social Capital as a Determinant Factor of Software Development Productivity: An Empirical Study using Structural Equation Modeling

Social Interaction, Team Tacit Knowledge and Transactive Memory: Empirical support for the Agile approach

Soft Constraints for KnowLang

Software development project success and failure from the supplier’s perspective: A systematic literature review