System Specification In Software Engineering