The research of the Air Force Institute of Technology KBSE group has focused on the utilization of formal languages to represent domain model knowledge within this process. The diversity of the software systems that can be developed in this manner is limited only by the availability of suitable domain models.
eBay