This volume contains the lecture notes of the five coursesand one seminar given at the School
on Engineering Trustworthy Software Systems(SETSS 2014) held in September 2014 at Southwest
University in Chongqing China.The material is useful for postgraduate students researchers
academics and industrial engineers who are interested in thetheory and practice of methods and
tools for the design and programming oftrustworthy software systems. The common themes of the
courses include thedesign and use of theories techniques and tools for software specification
andmodeling analysis and verification. The courses cover sequential programming component- and
object software hybrid systems and cyber-physical systems withchallenges of termination
security safety security fault-tolerance andreal-time requirements. The techniques include
model checking correctness byconstruction through refinement and model transformations
synthesis andcomputer algebra.
