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

technology of object-oriented languages and systems (tools)

作者： J. Viega P. Reynolds R. Behrends Reliable Software Technol. USA Department of Computer Science University of Virginia USA Department of Computer Science and Engineering Michigan State University

Some designers of class-based object oriented languages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of these workarounds is delegation. Even delegation is tedious and error prone, however. We believe that language designers who choose against multiple inheritance should consider automating delegation in order to alleviate these problems. In this paper we present Jamie, a language extension for Java that automates delegation. We also discuss the advantages and disadvantages of both delegation and automating it in a class-based programming language. Many of our observations are based on our experiences with implementing and using Jamie.

关键词： Java Computer science Programming profession Computer languages Reliability engineering Design engineering Computer errors Automation Process design Concrete

来源：评论

学校读者我要写书评

暂无评论

YooccLa: a parser generator for L-attributed grammars

YooccLa: a parser generator for L-attributed grammars

引用

technology of object-oriented languages and systems (tools)

作者： G. Butler C. Mingins School of Computer Science and Software Engineering Monash University Melbourne Australia

Argues that a parser generator can be developed that: (1) can bring parser technology within the reach of more software engineers, (2) requires less knowledge of parser technology than most existing parser generators, and (3) can allow a parser to be used where a designer might otherwise have chosen a fully procedural solution. A parser generator, called YooccLa (Yes! An object-oriented Compiler Compiler with left-attributes), has been developed to achieve these goals. It reads a non-left-recursive LL grammar specified in an EBNF-like language, augmented with Eiffel features specifying semantic actions. For each grammar production, YooccLa produces a pair of classes for the Eiffel Parse library: a syntax class specifying the syntax to Eiffel Parse, and a construct class specifying the semantics.

关键词： Computer science Knowledge engineering Software libraries Chemical technology Application software Design engineering Computer languages Text recognition Chemical analysis Production

来源：评论

学校读者我要写书评

暂无评论

Modeling interface definition language extensions

Modeling interface definition language extensions

引用

technology of object-oriented languages and systems (tools)

作者： H.-A. Jacobsen B.J. Kramer Projet Caravel INRIA Rocquencourt Le Chesnay France Lehrstuhl für Datenverarbeitungstechnik Fern Universität Hagen Hagen Germany

Interface definition languages (IDLs) serve to specify module and interface names, as well as operation signatures. However, IDLs lack a means to express aspects, such as synchronization constraints, pre- and post-conditions, invariants, quality-of-service annotations and real-time annotations. We develop a framework to specify the IDL and a given IDL extension in a combined modeling language based on XML. We show how this specification can serve to obtain tools to process the extended IDL. We study this approach along the lines of the OMG IDL and the CORBA middleware platform. The specification of semantic aspects and the specification of the IDL is based on XML document type definitions.

关键词： Middleware Quality of service XML Jacobian matrices Skeleton Proposals Style sheet languages Timing Security Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Expanding design pattern to support parallel programming

Expanding design pattern to support parallel programming

引用

technology of object-oriented languages and systems (tools)

作者： J.Y. Wan Y.Q. Sun J.Y. Xue Shanghai Jiaotong University China Jiangxi Normal University China

The design pattern concept is widely used in large object-oriented software development, but this should not be limited to the object-oriented field: it can be used in many other areas. Explicit parallel programming is well-known to be complex and error-prone, and design patterns can ease this work. This paper introduces a pattern-based approach for parallel programming, in which we classify design patterns into two levels to support (a) the parallel algorithm design phase and (b) the parallel coding phase, respectively. Through this approach, a programmer doesn't need much additional knowledge about parallel computing; what he need to do is to describe the problem he wants to solve and offer some parameters, sequential code or components. We demonstrate this approach with a case study in this paper.

关键词： Parallel programming Programming profession Parallel processing Concurrent computing Algorithm design and analysis Problem-solving Parallel algorithms Functional programming Logic programming object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Implementing trading object services in COM

Implementing trading object services in COM

引用

technology of object-oriented languages and systems (tools)

作者： N. Nicoloudis C. Mingins Monash University Australia

Identifying and locating services in distributed systems has always been problematic. Often, users have been obliged to identify not only the service required but also the specific supplier object type. Recently, the idea of trading services has been developed, allowing the developer to list a range of criteria required for a service, rather than an object type. We demonstrate how to employ Microsoft's Component object Model (COM) categorizing facilities to implement a trading object service that allows for finer-grained matching criteria based on the semantics of types, subtypes and conformance. We conclude that, although categorization supports trading object services in COM, we are pushing COM to the limits of its capabilities. The static register/lookup nature of the COM registry restricts the trader from being realized as a truly dynamic discovery service.

关键词： Computer architecture Databases Production systems Robustness Programming Costs Assembly systems Middleware Java Internet

来源：评论

学校读者我要写书评

暂无评论

Statically checked documentation with design patterns

Statically checked documentation with design patterns

引用

technology of object-oriented languages and systems (tools)

作者： A. Cornils G. Hedin Computer Science Department University of Aarhus Denmark Department of Computer Science Lund Institute of Technology Sweden

Over the past years, along with the increase in popularity of design patterns, some problems with the use of design patterns have been identified. The so-called tracing problem describes the difficulty in documenting software systems using design patterns. Initial approaches to solving the tracing problem have focused on guidelines for documenting design pattern roles and rules within a system, but experience has shown that both in the initial design, and especially in later code revisions, it is all too easy for code and documentation to diverge, rendering the documentation misleading. The authors present a flexible and extensible tool which enables designers to use design patterns in a safe and efficient way, which checks the design pattern rules, and which semi-automatically documents, and maintains the documentation of a software system.

关键词： Documentation Computer science Software systems Computer languages Software design Guidelines Books Testing Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

A method for the design and development of distributed applications using UML

A method for the design and development of distributed appli...

引用

technology of object-oriented languages and systems (tools)

作者： M. Born E. Holz O. Kath Department of Computer Science Humboldt University of Berlin Berlin Germany GMD Fokus Berlin Germany

Presents a design and development method for distributed applications running on top of advanced object-oriented middleware platforms. We introduce the basic concept of the distinction between a set of concepts and their relations, the definition of a notation supporting such concepts and rules for automatic code generation that help to provide a smooth transition from the design step to the implementation stage. Although the set of concepts is based on RM-ODP (Reference Model for Open Distributed Processing), we refine a number of ODP definitions in order to reflect practical design tasks. The supporting notation we present rests upon the customization of the Unified Modeling Language (UML). Automatic code generation issues are presented briefly, taking a extended CORBA 2.3 object middleware as the target distributed infrastructure.

关键词： Design methodology Unified modeling language Middleware Application software object oriented modeling Terminology Space technology Concrete Computer science Time to market

来源：评论

学校读者我要写书评

暂无评论

A revised, inheritance-supporting parallel object model in PDEFA-I

A revised, inheritance-supporting parallel object model in P...

引用

technology of object-oriented languages and systems (tools)

作者： Yang Guang Wen Dongchan Wang Dingxing Department of Computer Science and Technology Tsinghua University Beijing China

PDEFA is a distributed Ada95 pre-compiler, compiler and run-time system. PDEFA-I is the latest version of PDEFA that supports inheritance between parallel objects. Because of the inheritance anomaly problem with concurrent objects Ada95 does not support this mechanism, so we have to slightly modify the language to make inheritance possible. The code of each interface of a protected object in Ada95 is divided into two parts, synchronization code called condition and implementation code called action. These two parts of code can be changed or replaced independently in subclasses, making great effort for maximum code reuse. Consequently, PDEFA evolves into PDEFA-I with its parallel object model improved in order to solve the inheritance anomaly. We demonstrate mainly the work we have done with service objects.

关键词： object oriented modeling Switches Concurrent computing History Computer science Protection Solids Software reusability Encapsulation

来源：评论

学校读者我要写书评

暂无评论

A model for the migration to object-oriented software development with special emphasis on improvement of acceptance

A model for the migration to object-oriented software develo...

引用

technology of object-oriented languages and systems (tools)

作者： D. Auer H. Dobler Software Competence Center Hagenberg Austria Polytechnic University for Software Engineering Hagenberg Austria

object oriented technology has been established as an important new paradigm in software development. Thus, many organizations involved in any kind of software production plan to migrate to object oriented technology or have already started this process. Besides several successful migrations, many failures occur. In order to reduce the risk of failure during the migration process, we developed a migration model based on an empirical study. The application of this model leads to a better understanding of the migration process and supports its planning, designing and implementation, putting special emphasis on improvement of acceptance. The theoretical foundations of our migration model come from technology management, organizational research (i.e. change management, and organizational roles), as well as existing approaches and models for this kind of migration. Our migration model consists of three main parts: the migration process model, the definition of organizational roles, and the use of acceptance strategies such as information and communication, participation, and further education. The main results concerning the rise of acceptance strategies, based on the results of the empirical study, are presented.

关键词： object oriented modeling Programming technology management Application software Software maintenance Software quality Software engineering Production Process planning Productivity

来源：评论

学校读者我要写书评

暂无评论

Match-O, a dialect of Eiffel with match-types

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

引用

proceedings of the Conference on technology of object-oriented languages and systems, tools 2000年第TOOLS-PACIFIC2000期 190-201页

作者： Colnet, Dominique Liquori, Luigi Universite Henry Poincare Vandoeuvre-les-Nancy France

It is well known that the Eiffel language allows covariant redefinition. Regardless of system-level validity rules, Eiffel is not type safe. In this paper, we present a dialect of Eiffel called Match-O, which prohibits covariant redefinition. We introduce a new kind of types, the match-types, inspired by the papers of Kim Bruce. The scope of this project is many-fold: - allowing binary methods;- keeping sound `mytype method specialization', i.e. anchored type using Current;- allowing subtyping in all other sound cases. We claim that match-types can be added in the Eiffel type system to eliminate type unsoundness without blocking many interesting Eiffel programs (e.g. the ones with `binary methods'). We have implemented a compiler for Match-O and we have experimented our dialect on a large system using the original source code of SmallEiffel itself.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：