Goal Structuring Notation (GSN) is becoming increasing popular; practitioners use it in the railway, air traffic management and nuclear industries, amongst othe

The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, invest

"This book is not only of practical value. It's also a lot of fun to read." Michael Jackson, The Open University. Do you need to know how to create good require