Стремительное развитие бизнеса компании еще в 30-е годы привело к тому, что в отношении IBM со стороны Министерства юстиции начались антимонопольные разбирательства. Тогда компании IBM и Ramington Rand, которым принадлежал рынок машин обработки информации на перфокартах, обвинили в навязывании заказчикам продукции собственного производства. В 1956 году в ходе нового разбирательства IBM было предписано в целях стимулирования конкуренции не только отдавать в лизинг, как это делалось до того, но и продавать свои машины.

Одним из ведущих участников разработки компьютеров IBM 701 и 704 был Джон Бэкус, прославившийся созданием Фортрана. Еще при работе над IBM 701 он почувствовал необходимость упростить жизнь программистов, которым в то время приходилось общаться с машиной исключительно на языке нулей и единиц. Для этого он разработал технологию «ускоренного кодирования». Но создание языка высокого уровня оказалось задачей совсем иного масштаба сложности. Работа над Фортраном длилась с 1954 по 1957 год в исследовательском центре IBM Watson Scientific Computing Laboratory. Руководимой Бэкусом команде программистов удалось совершить настоящий прорыв. Впервые разработчик получал удобочитаемый язык программирования с собственной грамматикой и синтаксисом, построенный на основе алгебраических формул (напомним, что fortran расшифровывается как formula translation).

Еще одно свое изобретение – дисковую систему с произвольной выборкой RAMAC 305 (Random Access Method of Accounting and Control) – IBM демонстрировала на Всемирной выставке 1958 года в Брюсселе. Промышленный выпуск RAMAC был начат за год до этого. Система, обеспечившая компьютерных пользователей возможностью хранить очень большие объемы информации и при этом быстро извлекать нужные данные, вскоре стала неотъемлемым компонентом систем для поддержки данных в системах обработки транзакций.