From object technology pioneer, Design by Contract inventor and ETH Zurich professor Bertrand Mey...

For the past 20 years the TOOLS conferences have continuously spread new technologies in the worl...

Are you attracted by the promises of agile methods but put off by the fanaticism of many agile te...

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2...

The LASER school is intended for professionals from the industry (engineers and managers) as well...

Regulation, risk awareness and technological advances are increasingly drawing identity search fu...

To prove the correctness of a program is to demonstrate, through impeccable mathematical techniqu...

This book constitutes revised selected papers from the First International Workshop on Software E...

A Step Towards Verified Software Worries about the reliability of software are as old as software...

Majoreconomicupheavalscanhavethesortofe?ectthatSchumpeterforesaw60 yearsagoascreativedestruction....

SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outso...

SEAFOOD for Thought Headline-grabbing though it may be, the software industry¿s large-scale allo-...