History of formal software engineering
History of formally engineered software development processes, and the tools that support them, goes here. General history of software, including of software development, goes elsewhere, probably in the parent category or maybe in one of the other categories linked to from there.