-
1.发明授权Display protocol specification with session configuration and multiple monitors 失效显示具有会话配置和多个显示器的协议规范
公开(公告)号：US5805118A
公开(公告)日：1998-09-08
申请号：US578882
申请日：1995-12-22
申请人： Prateek Mishra , Donald P. Harrington , Arie E. Kaufman , Philip M. Lewis , Stephen D. Shapiro , Esther D. Shilcrat
发明人： Prateek Mishra , Donald P. Harrington , Arie E. Kaufman , Philip M. Lewis , Stephen D. Shapiro , Esther D. Shilcrat
CPC分类号： G06F3/1423 , G06F3/1446 , G09G5/14
摘要： This and other objects are provided in a method for displaying and managing a set of related images. The invention includes design of screen area in terms of how many, how big, and where workspaces are located. The invention assigns image sets to different workspaces; creates a tree of workspace setups for a specific image viewing session; and allows customization of the tree on a per user, per workstation type basis.
摘要翻译： 这种和其它目的在用于显示和管理一组相关图像的方法中提供。 本发明包括在多少，多大以及工作空间所在的位置设计屏幕区域。 本发明将图像集分配给不同的工作空间; 创建一个用于特定图像查看会话的工作区设置树; 并允许根据每个工作站类型对每个用户定制树。
-
2.发明授权Specification and verification for concurrent systems with graphical and textual editors 失效具有图形和文本编辑器的并发系统的规范和验证公开(公告)号：US06385765B1
公开(公告)日：2002-05-07
申请号：US08887147
申请日：1997-07-02
IPC分类号： G06F944
CPC分类号： G06F8/10
摘要： Software for, and a method of using a computer for, specifying and verifying synchronous and asynchronous concurrent systems. The method comprises specifying software in a design language possessing a formal semantics; simulating the design in accordance with its formal semantics; verifying that the design satisfies predetermined requirements; generating test cases and; generating software code. The method includes the steps of inputting by a graphical editor and a textual editor a formal design of the software, inputting desired properties as formulas in temporal logic, and verifying automatically if the formal design satisfies the desired properties.
摘要翻译： 软件和使用计算机来指定和验证同步和异步并发系统的方法。 该方法包括以具有正式语义的设计语言来指定软件; 根据其形式语义模拟设计; 验证设计满足预定要求; 生成测试用例; 生成软件代码。 该方法包括以下步骤：通过图形编辑器和文本编辑器输入软件的正式设计，在时间逻辑中输入所需属性作为公式，以及如果正式设计满足期望属性，则自动验证。
-
搜索结果
2 条记录 (耗时 0.027 秒)
