This paper presents a set of tools for image processing software development which aims to join both theory and practice into a trustworthy, efficient and generic solution that overlaps all data types and data structures. Indeed it concentrates on theoretical aspects and implementation mechanisms needed to apply a generic approach to image processing. Such tools are based on image algebra and complete lattices.