检索结果-内蒙古大学图书馆

technology of object-oriented languages and systems (tools)

作者： S. Edwards The Object People Limited UK

Summary form only given, as follows. This talk provides an insight into a variety of approaches to using visual programming tools. The talk introduces techniques that assist in the production of well designed, visually programmed software systems. Visual programming tools are very powerful but offer many paths that allow for the production of software that is difficult to maintain and interpret. The techniques introduced in this talk provide a basic framework for reducing the possibilities for developers to "shoot themselves in the foot." IBM's VisualAge for Java is used as the basis for a variety of demonstrations showing these techniques in action.

关键词： Java Production systems

来源：评论

学校读者我要写书评

暂无评论

Towards integration of state machines and object-oriented languages

Towards integration of state machines and object-oriented la...

引用

technology of object-oriented languages and systems (tools)

作者： O.L. Madsen The Danish National Centre for IT Research Computer Science Department Aarhus University Denmark

The goal of the paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object oriented programming languages. A proposal is made for a language mechanism that makes it possible for an object to change its virtual bindings at run time. A state of an object may then be represented as a set of virtual bindings. One advantage of object orientation is that it provides an integrating perspective on many phases of software development, including analysis, design and implementation. For the static set of OO language constructs there is almost a one-to-one correspondence between analysis/design notations and OO programming languages. No such correspondence exists for the dynamic aspects, but the proposed state mechanism is a contribution to a better correspondence. The proposal is based on previous work by A. Taivalsaari (1993) and compared to the more complex features for changing object behavior as found in CLOS, Smalltalk, and predicate classes, it is simple and efficient to implement.

关键词： Proposals Unified modeling language Computer science object oriented programming Runtime Computer languages

来源：评论

学校读者我要写书评

暂无评论

Developing safe concurrent and distributed applications with an architectural environment

Proceedings of the Conference on Technology of Object-Orient...

引用

proceedings of the Conference on technology of object-oriented languages and systems, tools 1999年 20-32页

作者： Duval, Gregory Cattel, Thierry Swiss Federal Inst Lausanne Switzerland

The developing environment presented in this paper is built around an interactive tool that can accompany the software engineer for the whole software development process of concurrent and distributed applications. This environment relies on a concept of active object that is used homogeneously from the specification of the architecture down to the implementation. It provides support for architecture design, behaviour specification, automatic code production, compilation, debugging as well as formal verification. First of all, the application architecture is built with a graphical editor, translated into an architecture description language compatible with CORBA-IDL, and used to produce code that may be automatically linked and compiled into CORBA compatible implementation. The debugging of a distributed application is supported by features such as event stepping, simulation of the CORBA mechanism within a single Unix process, code tracing, etc. The formal verification is supported by translators providing Promela code that can be analyzed by the SPIN model checker.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Risk analysis and assessment using object-oriented techniques

Risk analysis and assessment using object-oriented technique...

引用

technology of object-oriented languages and systems (tools)

作者： B. Zhou Department of Maths & Computing University of Southern Queensland Australia

This paper describes the concept of a "risk information base", which is a part of development methodology to address the provision of risk analysis and assessment over the domain of information systems that ... 详细信息

关键词： Risk analysis Internet Information security Risk management object oriented modeling Power system security Network servers Application software Information systems Web server

来源：评论

学校读者我要写书评

暂无评论

Dynamic geospatial image mosaics using JAVA, JAI, RMI and CORBA

Dynamic geospatial image mosaics using JAVA, JAI, RMI and CO...

引用

technology of object-oriented languages and systems (tools)

作者： J. Hildebrandt R. Hollamby Information Technology Division DSTO C3 Research Centre Department of Defence Defence Science and Technology Organisation Canberra ACT Australia

Command Control, Computers, Communications, Intelligence, and Surveillance (C4ISR) systems make extensive use of geospatial and image based information. Map displays and aerial photography are often used as the backdrop for the display of other information in systems to assist in providing situation awareness. Given the desire to have high-resolution information, the volume and variety of geospatial information is increasing. Both commercial and experimental systems are being developed to manage, serve and process these large volumes of image and geospatial information. This paper describes the development of a dynamic server that communicates with an experimental CORBA based backend image repository, and to a JAVA map display client to deliver a virtual mosaic of the imagery within the displayed region. Since imagery is not always stored in georeferenced form we have had to provide a processing chain that maps the image coordinates to the map coordinates for display. This is implemented using the JAVA Advanced imaging library. To reduce the footprint of the client the dynamic server that processes the imagery from the backend repository can be distributed off of the client system via an RMI connection. To maximise the interactive performance of this application various types of caching of queries and image data have been implemented.

关键词： Java Displays Visualization Image storage Information technology Geographic Information systems Control systems Surveillance Photography Libraries

来源：评论

学校读者我要写书评

暂无评论

Storing Java objects in any database

Storing Java objects in any database

引用

technology of object-oriented languages and systems (tools)

作者： R.K. Ege High Performance Database Research Center School of Computer Science Florida International University Miami FL USA

Typical Java applications involve access to a database system. Database systems store data according to their type system; even object oriented databases generally have their own storage structures. It is therefore necessary to convert Java objects as they are stored in a database, and to re-convert them when they are read. Ideally, this should be done behind the scenes by a support package. The paper presents an approach that automates the conversion process without involving pre- or post-processing of Java code: we use a reflection mechanism, where Java code is inspected at run time and changed to include the convert and re-convert effort. The result is a flexible and transparent Java database access.

关键词： Java object oriented databases Database systems Transaction databases Information retrieval Packaging Runtime Relational databases Computer languages object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Events in use cases as a basis for identifying and specifying classes and business rules

Events in use cases as a basis for identifying and specifyin...

引用

technology of object-oriented languages and systems (tools)

作者： D.C.C. Poo Department of Information Systems School of Computing National University Singapore

Business rules are closely associated with events. This paper describes how events in use cases can be the basis for identifying classes and business rules. A process known as event scripting is used to document the event and from it objects and their relationships are identified. Business rules identified with the events are attached to objects as part of their definitions in class specifications. The event scripting process is described in detail in this paper.

关键词： Computer aided software engineering object oriented modeling Information systems Documentation Jacobian matrices Heart

来源：评论

学校读者我要写书评

暂无评论

A design model for object-oriented systems with explicit architecture

A design model for object-oriented systems with explicit arc...

引用

technology of object-oriented languages and systems (tools)

作者： A. Sosio F. Tisato Dipartimento di Informatica Sistemi e Comunicazioni Universitá degli Studi di Milano Italy

Developing software systems from components involves defining the overall architecture where such components will cooperate. We argue that major problems with current approaches to component based software development stem from the fact that architecture is implicit in the components' code. The paper presents a design model for object oriented systems which makes architecture explicit by letting architecture-transparent components be instantiated and coordinated by separate entities implementing architectural concepts. A brief discussion of the application of the model to the design of a concrete system demonstrates how explicit architecture can enhance the reusability of both components and design elements, and ease the implementation of user-directed dynamic reconfiguration.

关键词： object oriented modeling Computer architecture Software systems Actuators Connectors Decision support systems Programming Assembly systems Buildings Visualization

来源：评论

学校读者我要写书评

暂无评论

Specifying Java frameworks using abstract programs

Specifying Java frameworks using abstract programs

引用

technology of object-oriented languages and systems (tools)

作者： A. Mikhajlova Turku Centre for Computer Science Åbo Akademi University Turku Finland

We propose a novel approach to specifying, documenting, and reasoning about object oriented frameworks. The novelty of our approach is in combining standard executable statements of a programming language (we choose Java as an example) with possibly nondeterministic specification constructs. A specification of the intended behavior given in this language can serve as a precise documentation for users of the framework and its extension developers. To illustrate the applicability of our method to specification of object oriented frameworks, we demonstrate how one can specify the Java Collections Framework which is a part of the standard Java Development Kit 2.0.

关键词： Java Documentation Computer languages Computer science Code standards Standards development Writing Calculus

来源：评论

学校读者我要写书评

暂无评论

The typing of communicating sequential processes

The typing of communicating sequential processes

引用

technology of object-oriented languages and systems (tools)

作者： Li Wenjun Zhou Xiaocong Li Shixian Department of Computer Science Zhongshan University Guangzhou China

As an imperative concurrent programming language, CSP is considered weakly typed. We equip CSP with a formal second-order type system. The types of processes and prefixed processes are distinguished and they are treated as generic types that can be instantiated by the subtypes of alphabets. The bounded quantifier is introduced to represent bounded generics.

关键词： Concurrent computing object oriented modeling Computer languages object oriented programming Mathematical model Equations Computer science Java Mathematics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：