This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such...

The 60 revised full papers, 24 revised short papers, 15 revised poster papers, and 3 revised industrial papers presented together with 3 keynote papers and 3 invited papers were carefully reviewed and...

China is dramatically catching up and is rapidly becoming a leading technological innovator on the global scale. The number of Chinese firms with global ambitions is growing fast, more and more technological innovation is coming from China, and the number of patents in China is also growing steadily. The negative side of this development is...

In 1999, Dr Willy Chiu, noticing the emergence of many large and complex customer Web sites, and observing how they often failed to deliver the expected robustness and customer satisfaction, set up a new team within IBM called the High-Volume Web Sites (HVWS) team. This team was chartered to work with customers and IBM internal teams involved in...

This year, we received about 170 submissions to ICWL 2008. There were a total of 52 full papers, representing an acceptance rate of about 30%, plus one invited paper accepted for inclusion in this LNCS proceedings. The authors of these accepted papers came from many different countries. We would like to thank all the reviewers for spending...

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Information Security and Cryptology, Inscrypt 2009, held in Beijing, China, in December 2009. The 22 revised full papers and 10 short papers presented were carefully reviewed and selected from 147 submissions. The papers are...