objects must be created throughout object-oriented programs. programming languages provide special facilities to create and initialise objects, and creational design patterns allow these facilities to be used more fle...
详细信息
objects must be created throughout object-oriented programs. programming languages provide special facilities to create and initialise objects, and creational design patterns allow these facilities to be used more flexibly. The Natural Creation pattern describes how these facilities can be used to create objects in ways that model the natural semantics of the program's underlying domain. By applying the Natural Creation pattern, programs and designs can be made more simple, more general, and easier to understand.
This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in a concurrent programmi...
详细信息
Current object-oriented drawing programs have an established way of drawing in which the shape of an object is controlled by manipulating control points. While the control points are intuitive in their basic use, it i...
详细信息
In spite of the intense efforts of metrics researches, the impact of object-oriented software metrics is for the moment still quite reduced. The cause of this fact lies not in an intrinsic incapacity of metrics to hel...
详细信息
In practice, object-oriented design models have been less useful throughout the lifetime of software systems than they should be. Design models are often large and monolithic, and the structure of the designs is gener...
详细信息
In practice, object-oriented design models have been less useful throughout the lifetime of software systems than they should be. Design models are often large and monolithic, and the structure of the designs is generally quite different from that of requirements. As a result, developers tend to discard the design, especially as the system evolves, since it is too difficult to keep its relationship to requirements and code accurate, especially when both are changing. This paper presents a different approach to designing systems, based on flexible decomposition and composition, that closely aligns designs with both requirements specifications and with code. We illustrate how this approach permits the benefits of designs to be maintained throughout a system's lifetime.
This work introduces the concept of object views, in particular language support for specifying constraints on object usage. VJava which is an extension to the Java programming language for expressing object views is ...
详细信息
This work introduces the concept of object views, in particular language support for specifying constraints on object usage. VJava which is an extension to the Java programming language for expressing object views is presented. A translator is described that converts VJava programs to base Java augmented with calls to a flat software shared-memory system running on a cluster of workstations. A shared whiteboard application is used to verify the programmability of object views, as well as to quantify their performance impact.
Virtual classes and nested classes are distinguishing features of BETA. Nested classes originated from Simula, but until recently they have not been part of main stream object-oriented languages. C++ has a restricted ...
详细信息
Virtual classes and nested classes are distinguishing features of BETA. Nested classes originated from Simula, but until recently they have not been part of main stream object-oriented languages. C++ has a restricted form of nested classes and they were included in Java 1.1. Virtual classes is the BETA mechanism for expressing generic classes and virtual classes is an alternative to parameterized classes. There has recently been an increasing interest in virtual classes and a number of proposals for adding virtual classes to other languages, extending virtual classes, and unifying virtual classes and parameterized classes have been made. Although virtual classes and nested classes have been used in BETA for more than a decade, their implementation has not been published. The purpose of this paper is to contribute to the understanding of virtual classes and nested classes by presenting the central elements of the semantic analysis used in the Mjolner BETA compiler.
Binary class methods are often more suitable for modelling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. In this pap...
详细信息
Binary class methods are often more suitable for modelling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. In this paper we discuss the implications of covariant class methods on type safety. We discuss two examples, one type-safe at run-time and the other not, and formulate type rules that make it possible to identify the difference at compile-time.
We show how a collection of object-oriented concepts can be directly expressed in predicative programming 6.. We demonstrate how these feature scan be used in cooperation with the existing real-time and concurrency fe...
详细信息
暂无评论