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

The situational factors that affect the software development process: Towards a comprehensive reference framework

Sensor Web Interaction

Service Science: An Actor-Network Theory Approach