Click on "software" and follow the links. The CONCISE software allows you to analyze or design a precast reinforced or prestressed beam element using either ACI or the Canadian Code. It has been in use for many years now and is a workhorse program that gives reliable results.
Have a look The RAPT (analysis and design package for reinforced and post-tensioned concrete structural systems), which as I'm known is the quite powerful package.
The DIANA code from TNO has an industry-leading concrete material modelling capability, as well as general purpose and "traditional" FE modelling tools. I've been using it for some time now, and I'm very, very impressed with it. If you're interested in cracking/crushing, embedded reinforcements, phased analysis, etc. then this is the civil code to own. Take a look at: