Les lois de Lehman ont été émises tout au long du dernier quart du XXème siècle. Les trois premières sont tirées d’une analyse des données de gestion de projet d’IBM en 1968.
Toutes décrivent les lois empiriques que suivent les développements de programmes de Type-E. Ces lois restent valides même si les développeurs les ignorent ou luttent contre (d’où le vocable de lois).