The Codomat is conceptually a code machine: you describe your system's backend in a simple format (your system specification) and turn this specification in to the Codomat, which in turn gives you a detailed software package you can use right away.