This thesis describes quantum mechanics in the phase space formulation. We introduce quantization and in particular the Weyl quantization. We study a general class of phase space distribution functions on phase space. The Wigner distribution function is one such distribution function. The Wigner distribution function in general attains negative values and thus can not be interpreted as a real probability density, as opposed to for example the Husimi distribution function. The Husimi distribution however does not yield the correct marginal distribution functions known from quantum mechanics. Properties of the Wigner and Husimi distribution function are studied to more extent. We calculate the Wigner and Husimi distribution function for the energy eigenstates of a particle trapped in a box. We then look at the semi classical limit for this example. The time evolution of Wigner functions are studied by making use of the Moyal bracket. The Moyal bracket and the Poisson bracket are compared in the classical limit. The phase space formulation of quantum mechanics has as advantage that classical concepts can be studied and compared to quantum mechanics. For certain quantum mechanical systems the time evolution of Wigner distribution functions becomes equivalent to the classical time evolution stated in the exact Egerov theorem. Another advantage of using Wigner functions is when one is interested in systems involving mixed states. A disadvantage of the phase space formulation is that for most problems it quickly loses its simplicity and becomes hard to calculate.
The quantum time-of-arrival problem is discussed within the standard formulation of nonrelativistic quantum mechanics with parametric time. It is shown that a general class of arrival-time probability distributions results from the assumption that the arrival process of a quantum particle is similar in nature to other time-dependent arrival-type processes occurring, e.g., in population biology or queue theory. A simple but illustrative example related to the well-known Wigner discussion of the time-energy uncertainty relation is given and the numerical results obtained are compared with Kijowski's distribution [Rep. Math. Phys. 6, 362 (1974)] of arrival times for a free quantum particle.