Publications

This version of the SRE TOOLKIT contains the standard release of the reliability estimation tool EST, the graphics support tool PLOT and a number of prototype tools used in conjunction with exercis

There has been a good deal of interest recently in the emerging discipline of software reliability engineering.

Many textbooks are devoted to formal methods, and their use for increasing software quality.

Software Reliability Metrics (SRM) can be used to predict when a certain software quality level will be achieved.

As a baseline for software development, a correct and complete requirements definition is one foundation of software quality.

Opportunistic design, an approach in which people develop new software systems by routinely reusing and combining components that were not designed to be used together, has become very popular.

The development of the British Telecom Derived Digital Services Network (BT-DDSN) required the development of new interfaces for the interconnection of four AT&T Systems.

Computer software, rapidly overshadowing hardware in cost and complexity, is becoming the dominant and critical component in computer systems.

Today's telecommunications applications are vital to the success of a wide range of businesses.

At the recent SPLASH (Systems, Programming, Languages and Applications: Software for Humanity) conference, one of us (Steven Fraser) organized an international group of experts to discuss challenge