An Esprit project to develop a personal software engineering environment to support the construction and verification of distributed and non-sequential software systems.

In addition suitable contents:
[ al ] [ an ] [ ar ] [ at ] [ b ] [ ca ] [ cat ] [ co ] [ con ] [ cons ] [ de ] [ E ] [ ec ] [ ed ] [ ee ] [ engine ] [ environment ] [ er ] [ fi ] [ gi ] [ h ] [ in ] [ io ] [ ir ] [ iron ] [ is ] [ it ] [ ms ] [ na ] [ ne ] [ ng ] [ no ] [ ns ] [ op ] [ pe ] [ port ] [ pr ] [ re ] [ ro ] [ ru ] [ se ] [ so ] [ software ] [ software engineering ] [ st ] [ struct ] [ su ] [ support ] [ sy ] [ system ] [ th ] [ to ] [ tr ] [ tw ] [ up ] [ ve ] [ verification ] [ vi ]