Country
Full text data for US and EP
Status
Type
Filing Date
Publication Date
Inventor
Assignee
Click to expand
IPC
No.
Publication Number
Title
Publication/Patent Number Publication/Patent Number
Publication date Publication date
Application number Application number
Filing date Filing date
Inventor Inventor
Assignee Assignee
IPC IPC
1
US9098635B2
Publication/Patent Number: US9098635B2
Publication date: 2015-08-04
Application number: 12/143,174
Filing date: 2008-06-20
Abstract: A system and method is described in which the state of the art in automated software applications is significantly improved. According to some approaches, interface testing is implemented and based upon a verification language and a verification environment. The system and method support the concepts of constrained random test generation, coverage, constrained random generation, and dynamic checks. A system and method is described in which the state of the art in automated software applications is significantly improved. According to some approaches, interface testing is implemented and based upon a verification language and a verification environment. The system and ...more ...less
2
US8677260B1
Publication/Patent Number: US8677260B1
Publication date: 2014-03-18
Application number: 13/245,193
Filing date: 2011-09-26
Inventor: O'riordan, Don  
Abstract: A user interface to an application processing complex data of multiple data view abstractions allows selection, placement, size and other configurable characteristics of interface components to be controlled by a user and then associated with the data abstraction and processing task. Multiple configurations may be created to simplify the interface to include only necessary controls given an abstraction level of the data view and the task on that data. The configurations may be stored using symbolic references and subsequently loaded on demand into the interface. Mechanisms may be applied to ensure that similarly referenced configurations in storage are resolved and only the desired configuration is applied. A user interface to an application processing complex data of multiple data view abstractions allows selection, placement, size and other configurable characteristics of interface components to be controlled by a user and then associated with the data abstraction and processing ...more ...less
3
US8028243B1
Publication/Patent Number: US8028243B1
Publication date: 2011-09-27
Application number: 11/476,717
Filing date: 2006-06-29
Inventor: O'riordan, Don  
Abstract: A user interface to an application processing complex data of multiple data view abstractions allows selection, placement, size and other configurable characteristics of interface components to be controlled by a user and then associated with the data abstraction and processing task. Multiple configurations may be created to simplify the interface to include only necessary controls given an abstraction level of the data view and the task on that data. The configurations may be stored using symbolic references and subsequently loaded on demand into the interface. Mechanisms may be applied to ensure that similarly referenced configurations in storage are resolved and only the desired configuration is applied. A user interface to an application processing complex data of multiple data view abstractions allows selection, placement, size and other configurable characteristics of interface components to be controlled by a user and then associated with the data abstraction and processing ...more ...less
4
US2009320002A1
Publication/Patent Number: US2009320002A1
Publication date: 2009-12-24
Application number: 12/143,174
Filing date: 2008-06-20
Abstract: A system and method is described in which the state of the art in automated software applications is significantly improved. According to some approaches, interface testing is implemented and based upon a verification language and a verification environment. The system and method support the concepts of constrained random test generation, coverage, constrained random generation, and dynamic checks. A system and method is described in which the state of the art in automated software applications is significantly improved. According to some approaches, interface testing is implemented and based upon a verification language and a verification environment. The system and ...more ...less