Software Language Engineering, Royal Holloway, University of London


Babbage's Calculating Engines

We are investigating the formal notations Charles Babbage developed to design and specify his 19th centuary computing engines.

More information on research in this area can be found here

Click below to see our Steam Driven Difference Engine in operation.