Modeling for image processing system validation, verification and testing.

State of the art digital copiers and multifunctional devices not only has millions of lines of software code but also employ application specific hardware components each having millions of gates to perform sophisticated image processing functions. To ensure high quality of the system, an image path...

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:	Software engineering notes. 30, 5 (2005).
1. Verfasser:	Li, Xing
Format:	Artikel
Sprache:	English
Schlagworte:	Hardware. Performance and reliability. Performance analysis and design aids. Software. Software engineering. Software architectures. Information hiding. Domain-specific architectures. Reusable software. Reuse models. Software / Program Verification. Model checking. Design. Verification. Hardware design verification. Image processing. Software reuse.