symmetric monoidal (∞,1)-category of spectra
The notion of -module over an monoid object in an (∞,1)-category (for instance an A-∞ ring or E-∞ ring) is the generalization to (stable)homotopy theory of the notion of module over a ring.
See at module over an algebra over an (∞,1)-operad.
module, -module
Modues over algebras over an arbitrary (∞,1)-operad are discussed in section 3.3 of
Modules specifically over A-∞ algebras are discussed in section 4.2 there.