El KBGenesys crea una BC a partir de la introducció i la descripció general d'un document d'especificació de programari escrit en LN.

Aquest projecte es correspon amb el procés de generació de la BC descrit anteriorment. Implementa els mòduls relacionats amb la BC.