Software Migrations Ltd

Homepage: http://www.smltd.com/

SML use formal transformations to convert one form of code to another; they can work on anything from assembly language to high level requirements (e.g. Z specifications). They specialise in IBM assembler legacy systems, but also work with C and COBOL, and probably any language.

They claim that about 90% of the work of migrations can be automated (depending on various factors).

The FermaT Transformation Engine is available for downloading.

Their Principal Consultant and author of FermaT is Martin Ward.

Revision: r1.3 - 11 Jul 2003 - 08:18 - MikeVanEmmerik
Transform > SoftwareMigrations
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback