One notable project was to formalize and implement the first computable IDEF, C-IDEF for the Air Force, based on HOS as its formal foundation.
Један значајан пројекат је био формализирати и применити први рачунајући ИДЕФ, Ц-ИДЕФ за Ваздухопловство, заснован на ХОС-у као својој формални основи.