Module spectrum

In algebra, a module spectrum is a spectrum with an action of a ring spectrum; it generalizes a module in abstract algebra.
The ∞-category of (say right) module spectra is stable; hence, it can be considered as either analog or generalization of the derived category of modules over a ring.
K-theory.
Lurie defines the K-theory of a ring spectrum "R" to be the K-theory of the ∞-category of perfect modules over "R" (a perfect module being defined as a compact object in the ∞-category of module spectra.)