The paper motivates the facilities provided by Description Logics in an object-orientedprogramming scenario. It presents a unification approach of Description Logics and object-orientedprogramming that allows both v...
详细信息
ISBN:
(纸本)9780897917889
The paper motivates the facilities provided by Description Logics in an object-orientedprogramming scenario. It presents a unification approach of Description Logics and object-orientedprogramming that allows both views to be conveniently used for different subproblems in a modern software-engineering environment. The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies must be realized.
In distributed object-oriented systems, objects belong to different locations. For example, in Java RMI, objects can be distributed over different JVM instances. Accessing a reference in RMI has crucial different sema...
详细信息
ISBN:
(纸本)9783642219528
In distributed object-oriented systems, objects belong to different locations. For example, in Java RMI, objects can be distributed over different JVM instances. Accessing a reference in RMI has crucial different semantics depending on whether the referred object is local or remote. Nevertheless, such references are not statically distinguished by the type system. This paper presents location types, which statically distinguish far from near references. We present a formal type system for a minimal core language. In addition, we present a type inference system that gives optimal solutions. We implemented location types as a pluggable type system for the ABS language, an object-oriented language with a concurrency model based on concurrent object groups. An important contribution of this paper is the combination of the type system with the flexible inference system and a novel integration into an Eclipse-based IDE by presenting the inference results as overlays. This drastically reduces the annotation overhead while providing full static type information to the user. The IDE integration is a general approach of its own and can be applied to many other type system extensions.
We have studied the representation of context in an environment integrating object-orientedprogramming and rule-based programming. We propose three mechanisms that effectively contribute to represent context in medic...
详细信息
ISBN:
(纸本)3540600256
We have studied the representation of context in an environment integrating object-orientedprogramming and rule-based programming. We propose three mechanisms that effectively contribute to represent context in medical applications.
object-orientedprogramming techniques have been used with great success for some time. But the techniques of object-orientedprogramming have been largely confined to the single address space, and have not been appli...
详细信息
ISBN:
(纸本)3540661565
object-orientedprogramming techniques have been used with great success for some time. But the techniques of object-orientedprogramming have been largely confined to the single address space, and have not been applicable to distributed systems. Recent advances in language technology have allowed a change in the way distributed systems are constructed that does allow real object-orientedprogramming on the network. But these advances also change some of our most basic conceptions about the relationship between processor and code, and what it is that constitutes a computer. We will argue that a new computing architecture, based around the ideas of the network and full object-orientation, will soon become the dominant computing architecture, allowing us to tie together large numbers of devices but requiring that we think and design in entirely new ways.
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races and deadlocks still persist for program...
详细信息
ISBN:
(纸本)9783642169007
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races and deadlocks still persist for programmers since available detection and prevention tools are unsound or have otherwise not been well adopted. In an alternative approach, programming models that exclude certain classes of errors by design can address concurrency problems at a language level. In this paper we review SCOOP, an existing race-free programming model for concurrent object-orientedprogramming, and extend it with a scheme for deadlock prevention based on locking orders. The scheme facilitates modular reasoning about deadlocks by associating annotations with the interfaces of routines. We prove deadlock-freedom of well-formed programs using a rigorous formalization of the locking semantics of the programming model. The scheme has been implemented and we demonstrate its usefulness by applying it to the example of a simple web server.
This innovative practice full paper presents an experience report of an approach integrating the teaching and learning of object-orientedprogramming, Data Structures and Software Design in the second term of a Comput...
详细信息
ISBN:
(纸本)9781538611746
This innovative practice full paper presents an experience report of an approach integrating the teaching and learning of object-orientedprogramming, Data Structures and Software Design in the second term of a Computer Engineering undergraduate program. Learning object-orientedprogramming requires acquiring high-level skills, which is negatively affected by present curricula and pedagogies. Isolated courses with teacher-centered approaches do not allow for the appropriate practice of such skills. For 15 years, our Computing Engineering undergraduate program has been pursuing an effort of curriculum integration and active learning practices based on problems and projects. This paper presents an experience report of our approach. This experience led us to important lessons learned with our approach: the acquisition of personal, interpersonal and technical skills provided by the approach;the benefits of knowledge integration through more authentic experiences and a more disciplined practice of software production;the need for careful problem planning;the main difficulties faced by instructors to manage the course;and the challenges faced by students to develop their skills.
This study implemented DFT method into the C++ programming language with object-orientedprogramming rules (expressive software). The use of expressive software results in getting a simple programming structure, which...
详细信息
This study implemented DFT method into the C++ programming language with object-orientedprogramming rules (expressive software). The use of expressive software results in getting a simple programming structure, which is similar to mathematical formula. This will facilitate the scientific community to develop the software. We validate our software by calculating the energy band structure of Silica, Carbon, and Germanium with FCC structure using the Projector Augmented Wave (PAW) method then compare the results to Quantum Espresso calculation's results. This study shows that the accuracy of the software is 85% compared to Quantum Espresso.
Our project COMMOOP aims to develop a competency structure model and appropriate measurement instruments for the field of object-orientedprogramming (OOP). We started by reviewing existing literature on competency mo...
详细信息
ISBN:
(纸本)9781509025046
Our project COMMOOP aims to develop a competency structure model and appropriate measurement instruments for the field of object-orientedprogramming (OOP). We started by reviewing existing literature on competency modelling in other subject areas regarding the development methodology as well as the model structures, identified common structural elements, verified, expanded and refined these based on an extensive literature analysis on theoretical and empirical studies on teaching and learning as well as on psychological aspects in the field of OOP. As theoretically derived candidates for potential competency dimensions we identified (1) OOP content knowledge and skills, (2) mastering representation, (3) cognitive processes and (4) metacognitive processes. This theoretically derived model framework was validated based on various competency descriptions in terms of applicability and completeness. For this purpose, we identified competency descriptions related to OOP in 44 computer science curricula and standards from several countries and compared these with our model. Further, we applied it to a list of competency definitions that was extracted by a working group at the ITiCSE 2015 from 14 case studies on K12 in 12 different countries. Finally, the structure model was aligned with the results of a survey among 59 computer science teachers and teacher students on learning difficulties. At the end, it turned out that our proposed model was quite complete already.
A method for constructing large distributed software systems in an object-oriented way is presented. The authors define a group which is an object in the sense of programming in the large. A group may be distributed o...
详细信息
暂无评论