Introduction

SHESim is a tool supporting the modelling and specification of complex concurrent systems in accordance with the SHE (Software/Hardware Engineering) methodology. Part of the methodology is the formal modelling and specification language POOSL (Parallel Object-Oriented Specification Language). SHESim allows the (graphical) entry of POOSL models and their interactive simulation.

SHESim is obsolete and has been replaced by an Eclipse based development tool for POOSL models To find out more, please visit the POOSL web site.