POLYSPACE

prerecorded magnetic data carriers, prerecorded disks, prerecorded CDROMs, prerecorded computer software, all featuring programs for computer software development and computer software verification and validation

printed technical and computer manuals, guides and documentation for computer software development and computer software verification and validation; printed instructional material on computer software development, and computer software verification and validation; printed instructional, educational, and teaching materials in the field of computer software development and computer software verification and validation [ ; printed evaluation reports in the field of computer software development and computer software verification and validation, and educational publications, namely, training manuals in the field of computer software development and computer software verification and validation ]

training services in the field of computer software development, and computer software verification and validation, educational services, namely, conducting seminars, symposiums, and workshops in the field of computer software development, and computer software verification and validation, and distribution of materials in connection therewith

[ Computer software consultation; computer software design for others; computer software development; consulting services in the field of design, selection, implementation and use of computer software systems for others; installation of computer software, maintenance of computer software, and development of computer software development tools and computer software utilities for others; development of computer software libraries used to model computer software functions; technical support services, namely, troubleshooting of computer software problems, updating of computer software for others, and providing information in the field of computer software development and computer software verification and validation ]