I've found out about IDEF just yesterday and wondered immediately why it's not more popular than UML. Judging from documents, IDEF is at least as suitable for software modeling as UML is, but is mature and stable for about 30 years now, as opposed to UML.
Is this one more case of "popular vs. powerful" like all the discussions about "$language vs. Lisp"?