Jackson method

A proprietary structured method for software analysis, design and programming.