Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior