When the the ACM and CSTA release a report entitled " Running on Empty : The Failure to Teach K-12 Computer Science in the Digital Age " ?
These programs often feature the theory of computation , analysis of algorithms , formal methods , concurrency theory , databases , computer graphics , and systems analysis , among others .