A Use Case Specification is a detailed document that describes how a user interacts with a system to achieve a specific goal. It includes the use case name, actors, preconditions, postconditions, steps of interaction (main flow), alternative flows, and exceptions.