Method and apparatus for deployment of high integrity...

Method and apparatus for detecting and resolving...

Method and apparatus for detecting violations of type rules...

Method and apparatus for determining colimits of hereditary...

Method and apparatus for determining computer program flows...

Method and apparatus for determining frequency of execution...

Method and apparatus for determining the relationships and...

Method and apparatus for deterministic replay of java...

Method and apparatus for display of windowing application...

Method and apparatus for displaying computer program errors...

Method and apparatus for displaying computer program errors...

Method and apparatus for dynamically binding service...

Method and apparatus for eliminating redundant array range...

Method and apparatus for enforcing safety properties of...

Method and apparatus for establishing a quality of service...

Method and apparatus for evaluating software

Method and apparatus for generating run time profiles for...

Method and apparatus for generation of validation tests

Method and apparatus for globalization testing computer...

Method and apparatus for graphically marking instructions...