Put another way:
How do makers of tax software create the equations and logic that make up their programs?
Do they read all the forms (or PDFs) and create the logic and equations by hand, or does the IRS publish the equations themselves? For example, something like
form1040.line76.purpose= "Amount You Owe"; form1040.line76 = form1040.line63 - form1040.line72;
If I could get my hands on a full electronic specification of the tax forms and worksheets, I could potentially do some interesting things that tax software is generally not very good at.
========================================= MODERATOR'S COMMENT: The tax code itself, plus numerous procedures, regulations, and other documents are used to design software.
For e-filed returns, there is an IRS spec, Pub 1346, which specifies rules for an e-filed form 1040 series, and that is certainly one of the drivers software designers follow. But that does not contain all the rules needed to develop a software package.