A formal method is not the main engine of a development process, its contribution is to improve s...

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engi...

Modern software systems are becoming more complex in many ways and have to cope with a growing nu...

Modern software systems are becoming more complex in many ways and are having to cope with a grow...

As software systems become ubiquitous, the issues of dependability become more and more crucial. ...

Many software systems have reached a level of complication, mainly because of their size, heterog...

Concurrency in Dependable Computing focuses onconcurrency related issues in the area of dependa...

This book presents a coherent and well-balanced survey of recent advances in software engineering...

As software systems become more and more ubiquitous, the issues of dependability become more and ...

As software systems become ubiquitous, the issues of dependability become more and more crucial. ...

As software systems become ubiquitous, the issues of dependability become more and more critical....

Advances in networking technology have revitalized the investigation of agent technologyasapromis...