The progress of software visualisation, beyond that of nodes and arcs in various forms, has lagged behind the developments made in such fields as information visualisation. That is now starting to change and recent innovations are reviewed, based on a historical view of software visualisation, and followed by some of the many outstanding research issues. The use of threedimensions is almost as ...

This paper describes an approach to developing high assurance system software. We demonstrate how different formal methods can be applied in the development process by matching specific techniques and tools to the different levels of system requirements and how those techniques can complement each other.

We describe the use of MPI for writing system software and tools, an area where it has not been previously applied. By “system software” we mean collections of tools used for system management and operations. We describe the common methodologies used for system software development, together with our experiences in implementing three items of system software with MPI. We demonstrate that MPI ca...

The tenet of subjectivity is that no single interface can adequately describe any object; interfaces to the same object will vary among different applications. Thus, objects with standardized interfaces seems too brittle a concept to meet the demands of a wide variety of applications. Yet, objects with standardized interfaces is a central idea in domain modeling. Domain models are the basis for...