This paper formalizes the observable interface behaviour of open systems for a strongly-typed, concurrent object-oriented language with single-class inheritance. We formally characterize the observable behaviour in te...
详细信息
This paper formalizes the observable interface behaviour of open systems for a strongly-typed, concurrent object-oriented language with single-class inheritance. We formally characterize the observable behaviour in terms of interactions at the program-environment interface. The behaviour is given by transitions between contextual judgments, where the absent environment is represented abstractly as assumption context. A particular challenge is the fact that, when the system is considered as open, code from the environment can be inherited to the component and vice versa. This requires to incorporate an abstract version of the heap into the environment assumptions when characterizing the interface behaviour. We prove the soundness of the abstract interface description.
object-oriented has been widely used in software development. Hence, learning object-oriented concepts is crucial in undergraduate Computer Science or Information Technology programs. Learning object-oriented programm...
详细信息
A new media programming style is introduced that brings efficient run-time polymorphism, functional and instance-based object-orientedprogramming to Max/MSP and related visual dataflow languages. Examples are present...
详细信息
In this paper we present the results of a study exploring students' conceptions of the most fundamental object-orientedprogramming (OOP) concepts of "object" and "class". Data was collected fr...
详细信息
ISBN:
(纸本)9780889868885
In this paper we present the results of a study exploring students' conceptions of the most fundamental object-orientedprogramming (OOP) concepts of "object" and "class". Data was collected from open type questions included in a middle-term exam of the undergraduate course "object-oriented Design and programming". The course uses the programming microworld objectKarel in the first two lessons for presenting the most fundamental OOP concepts and the environment BlueJ. The results of the study are presented and analysed in conjunction with results from similar studies.
How to train elites with applied comprehensive qualities is an important goal of contemporary higher education. It can arouse student's interest in learning by promoting group interactivities so as to mobilize the...
详细信息
Several computer tools exist for Water Distribution Systems Analysis. The most well known of which - Epanet - will not be maintained in the near future. To remedy this, open source development projects have recently b...
详细信息
ISBN:
(纸本)0953914089
Several computer tools exist for Water Distribution Systems Analysis. The most well known of which - Epanet - will not be maintained in the near future. To remedy this, open source development projects have recently been proposed. Cemagref have developed the Porteau software, with several tools. They have decided to make their software open and freely available. In this paper, we present our experience to design a hydraulic toolkit for Water Distribution Analysis which could benefit the community in the context of an open-source project. Firstly, technology choices are explained and highlighted in the current context. Some key elements were the objectives of a multiplatform product, the graph library availability and computation performance. Then, the main results in terms of packages and classes are presented. Graph elements consist of nodes, links and hydraulic devices. A collection of hydraulic devices/equipments may be placed at different locations on a pipe. Different classes with distinct attributes and methods have been created for the nodal and link demands as well as for the local and background leakages. Finally, the calculation targets are described with an example of extension ease with pressure-driven modelling and a reliability measure.
With back-in-time debuggers, developers can explore what happened before observable failures by following infection chains back to their root causes. While there are several such debuggers for object-oriented programm...
详细信息
We report on our ongoing research of an object-oriented language for a metaprogramming framework called Turbine. The paper describes structural elements of models, their relations and intended patterns of usage and th...
详细信息
In this paper, we propose an indicator-based approach to support teachers' activities. It consists in supplying teachers with indicators which report critical situations or interesting moments about learners' ...
详细信息
To help teach object-orientedprogramming, students at King Abdulaziz University in Saudi Arabia created a self-paced, interactive program that associates code with visual cues to reinforce the concepts of inheritance...
详细信息
To help teach object-orientedprogramming, students at King Abdulaziz University in Saudi Arabia created a self-paced, interactive program that associates code with visual cues to reinforce the concepts of inheritance and polymorphism.
暂无评论