The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...

Recent accidents in a range of industries have increased concern over the design, development, ma...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its ...

This book constitutes the refereed proceedings of the IFIP WG 13.2 13.5 Joint Working Conferences...

HCI is a fundamental and multidisciplinary research area. It is fundamental to the development an...

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 Int...

Formal methods have already been shown to improve the development process and quality assurance i...

Engineering Interactive Systems 2007 is an IFIP working conference that brings together researche...

This book developed from an IFIP workshop which brought together methods and architecture researc...

1: Keynote Speaker.- Modelling Activity Switching.- 2: Industrial Papers.- Agile Development of W...

The modern world has made available a wealth of new possibilities for interacting with computers,...