GUI抽象描述模型研究

图形用户界面（GUI）是各种计算机应用的一个重要组成部分。但是越来越多的缟程语言和GUI工具包使得开发跨平台的GUI也变得越来越繁琐。同时,日趋庞大和复杂的数据,也迫使开发者在维护GUI相关数据方面付出更多的努力。本文从分析MVC设计模式入手,力图从更高的层次上对GUI及其相关数据的描述模型进行归纳和抽象,提出并形式化描述了一种GUI抽象描述模型,基于该模型的GUI数据建模算法和绑定模型。最后简单介绍了该描述模型基于XML的实现语言——GUI XML。     

一种基于抽象解释的WCET自动分析工具

利用基于抽象解释的变量值范围传播技术,提出了一种自动分析高级语言程序流信息的方法;并在白盒测试工具NPCA的基础上,利用该方法实现了WCET分析工具NPCA-WCET。     

Abstract data types for the logical modeling of complex data

In this paper we propose a logical data model for complex data. Our proposal extends the relational model by using abstract data types for domains specification and an extended relational algebra is also introduced. The introduction of the parameterized type Geometry(S), where S is a ground set of elements, allows the representation of complex aggregated data. As an example, we discuss how our model supports the definition of geographical DBMSs. Moreover, to show the generality of our approach, we sketch how the model can be used in the framework of statistical applications.     

The Ada task system and real-time applications: an implementation schema

The Ada task system is critically evaluated from the point of view of real-time applications. Based on such an evaluation an abstract machine, supplying both an operational semantics and an implementation schema for it, is derived. Such a schema, depending on parameters, may supply a standard implementation following the Ada Reference Manual specifications, or may allow the user to implement ad hoc policies required by the time constraints of the specific application.     

Strongly typed user interfaces in an abstract data store

The UMIST Abstract Data Store is a software tool which supports abstract data types together with flexible mechanisms for specifying, for each abstract data type, alternative user interface and memory representations appropriate to different physical media. These mechanisms facilitate the definition of types, the specification of their alternative representations and the creation and manipulation of their values in a persistent fashion. The media supported may include such things as disks and visual displays and collections of these connected together via a network. This paper focuses on the mechanisms which have evolved in this environment for specifying safe user interfaces to complex data structures.     

一种源程序到控制流图的自动生成方法

将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件纵等方面。     

The design of Apple—A language for modular programs

Sometimes programming is difficult because of the amount of detail that is relevant to the problem being solved. A suitable language for these problems should aid the programmer in organizing a program as a synthesis of parts. Apple is a language designed for such applications. It is a typed language in which functions are objects, and it provides three complementary ways to modularize programs. These are the definition of environments, the use of functional abstraction, and the use of data abstraction or parameterized, abstract data types.In this paper we describe the main features of Apple, and explain the motivation for many of the design decisions. Another document furnishes a formal definition.     

抽象类型在程序开发中的应用

本文邓开发中的抽象类，并给出了类型更改方法和类型实经的方法。本文还用例子说明了具体计算结构实现的方法。     

科技论文摘要的撰写与常见问题

目的：使科技论文的作者了解摘要的基本内容和类型,掌握摘要的撰写方法.方法：先说明摘要的基本概念和研究现状,后论述摘要的内容,结合实例说明各类摘要中常见的问题.结果：摘要由目的、方法、结果和结论四大要素构成,其类型有报道性、指示性、报道—指示性和结构式四种.结论：撰写论文摘要应采用正确的摘要类型,比较常用的是报道性和结构式.     

An ASM-based characterisation of starvation-free systems

Abstract State Machines (ASMs) have been successfully applied for modeling critical and complex systems in a wide range of application domains. However, unlike other well-known formalisms, e.g. Petri nets, ASMs lack inherent, domain-independent characterisations of computationally important properties. Here, we provide an ASM-based characterisation of the starvation-free property. The classic, informal notion of starvation, usually provided in literature, is analysed and expressed as a necessary condition in terms of ASMs. Thus, we enrich the ASM framework with the notion of vulnerable rule as a practical tool for analysing starvation issues in an operational fashion.