A comprehensive theory is presented concerning derivations of scalar and vector-valued forms along the projection π : R × TM → R × M. It is the continuation of previous work on derivations of forms along the tangent bundle projection and is prompted by the need for a scheme which is adapted to the study of time-dependent second-order equations. The overall structure of the theory closely follows the pattern of this preceding work, but there are many features which are certainly not trivial transcripts of the time-independent situation. As before, a crucial ingredient in the classification of derivations is a non-linear connection on the bundle π. In the presence of a given second-order system, such a connection is canonically defined and gives rise to two important operations: the dynamical covariant derivative, which is a derivation of degree 0, and the Jacobi endomorphism, which is a type (1, 1) tensor field along π. The theory is developed in such a way that all results readily apply to the more general situation of a bundle π : J 1 E → E, where E is fibred over R, but need not be the trivial fibration R × M → R.