<company> A software engineering company which emerged from Imperial College in about 1982. It enjoys a world-wide reputation for technical excellence as a software product and technology provider in the Open Systems market. Its flagship product is X-Designer, the award-winning graphical user interface builder. It also has considerable expertise in the Z language and Formal Methods.
Try this search on Wikipedia, OneLook, Google
Nearby terms: imperative language « imperative programming « Imperial College of Science, Technology and Medicine « Imperial Software Technology » IMPlementation language » implication » implicit parallelism