In many large organizations, the model transformations allowing the engineers to more or less automatically go from platformindependent models (PIM) to platform-specific models (PSM) are increasingly seen as vital assets. As tools evolve, it is critical that these transformations are not prisoners of a given CASE tool. Considering in this paper that a CASE tool can be seen as a platform for pro...

Given any additive category C with split idempotents, pseudokernels and pseudocokernels, we show that a subcategory B is coreflective if, only it precovering, closed under direct summands each morphism in has pseudocokernel belongs to B. We apply this result its dual to, among others, preabelian pretriangulated categories. As consequence, of it, precovering taking cokernels. On the other hand, ...