Author(s)

F. Varejao, M. Fromherz, A. Garcia & C. de Souza

Abstract

Development of reprographic machines is a non-trivial task, due to ever- increasing functionality and productivity requirements. By providing com- putational support for requirements specication and machine design, we can substantially improve this product development process. Our approach is based on an integrated framework for the representation of the speci- cation and design. A rigorous formalization of specication and design allo

Keywords