Language-based, machine-readable representations of what a software process is supposed to do, or how a software process is supposed to accomplish its task is known as_________________?

A. prototyping
B. software specifications
C. application programs
D. human engineering