Software complexity is hard to tackle because it's really the underlying business complexity that's being modelled, which is usually beurocratic, Byzantine-like.

See the recent post on why the Uber app is so large: https://news.ycombinator.com/item?id=25376346