Modern software systems must support a high degree of variability to accommodate a wide range of requirements and operating conditions. This paper introduces the Abstract Behavioural Specification (ABS) language and t...
详细信息
Difficulties in reasoning about functional correctness and relational properties of object-oriented programs are reviewed. An approach using auxiliary state is briefly described, with emphasis on the author's work...
详细信息
ISBN:
(纸本)9783540691471
Difficulties in reasoning about functional correctness and relational properties of object-oriented programs are reviewed. An approach using auxiliary state is briefly described, with emphasis on the author's work. Some near term challenges are sketched.
One of the largest challenges facing educators teaching object-oriented courses is deciding how to evaluate each students programming skill. This research focus on how we addressed this challenge in objectoriented pr...
详细信息
ISBN:
(纸本)9789868473522
One of the largest challenges facing educators teaching object-oriented courses is deciding how to evaluate each students programming skill. This research focus on how we addressed this challenge in object oriented programming course by proposing a new assessment method to assess students' object-orientedprogramming skills. The process begins by identifying generic object-oriented skills that students should acquired. In this paper we discuss the approach taken in the process of identifying the object-oriented skills, i.e. Delphi technique. Delphi technique is a structured multi-step process that uses a group of experts to achieve a consensus opinion. We present the methodology of three Delphi processes to identify object-orientedprogramming skills. The identified skills will be used to guide both the coverage of student learning assessments and can be used by instructors to identify what topics merit emphasis.
Different programming paradigms have been introduced for enhancing the dynamic behavior of the programs. One among them is Aspect-orientedprogramming (AOP) which is having the ability to modularize the crosscutting c...
详细信息
ISBN:
(纸本)9781450311960
Different programming paradigms have been introduced for enhancing the dynamic behavior of the programs. One among them is Aspect-orientedprogramming (AOP) which is having the ability to modularize the crosscutting concerns. Patterns are reusable good-quality design practices that have proven useful in the design of software applications. In this paper we aims to validate how the AOP features can help us to reduce the need of using object-orientedprogramming (OOP) design patterns. Decorator design pattern solution to OOP peer-to-peer software design is implicit in AOP based software. To show the proof for our proposed work, we explained the idea with the help of a case-study using JXTA peer-to-peer programming and implemented it. Here we used the amalgamation of worker-object aspect-oriented design pattern, Decorator design pattern, and AOP. For better understanding UML class diagram is presented. We have obtained comprehensive results proving that the design pattern in OOP is not a design pattern in AOP to provide functionality like decorator pattern. We think that our findings could be useful for the Peer-to-Peer computing programmers and software designers can exploit to drive their work.
Writing applications that connect to external services and yet remain responsive and resource conscious is a difficult task. With the rise of web programming this has become a common problem. The solution lies in usin...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
Writing applications that connect to external services and yet remain responsive and resource conscious is a difficult task. With the rise of web programming this has become a common problem. The solution lies in using asynchronous operations that separate issuing a request from waiting for its completion. However, doing so in common object-oriented languages is difficult and error prone. Asynchronous operations rely on callbacks, forcing the programmer to cede control. This inversion of control-flow impedes the use of structured control constructs, the staple of sequential code. In this paper, we describe the language support for asynchronous programming in the upcoming version of C-#. The feature enables asynchronous programming using structured control constructs. Our main contribution is a precise mathematical description that is abstract (avoiding descriptions of compiler-generated state machines) and yet sufficiently concrete to allow important implementation properties to be identified and proved correct.
Teaching object oriented programming (OOP) to novices is quite problematic. In order to overcome the difficulties various teaching approaches have been proposed. In this paper, we present our findings regarding two te...
详细信息
ISBN:
(纸本)9780889866997
Teaching object oriented programming (OOP) to novices is quite problematic. In order to overcome the difficulties various teaching approaches have been proposed. In this paper, we present our findings regarding two teaching approaches based on two different environments: (i) teaching with the Educational programming Environment of Biue J;(ii) teaching with the programming Microworld of object Karel. The presented results are based on students' answers to a questionnaire that was given to students at the last lesson of the two studies, and refer exclusively to the comprehension of the most basic concepts of OOP: objects and classes. The analysis of the results shows that the combined use of the two environments seems to constitute a better didactic strategy from just using one of the two environments.
A visualization of large datasets requires ultra high resolution. Data wall systems provide large number of pixels by combining a power of multiple graphics cards. In this paper, we propose and realize an object orien...
详细信息
ISBN:
(纸本)9781467329255
A visualization of large datasets requires ultra high resolution. Data wall systems provide large number of pixels by combining a power of multiple graphics cards. In this paper, we propose and realize an objectoriented framework for the Message Passing Interface based parallel rendering. We introduce a GUI based viewer called the TiledRenderer, which is used for viewing pre- recorded high resolution animations as well as images on data walls. We identify a set of design patterns in a development of the TiledRenderer. We talk about benefits of using design patterns for extending our framework for adding the Real Time Streaming Protocol based IP camera support. We demonstrate that use of design patterns facilitates reusing the existing functionality and adding new functionality by providing new classes, rather than modifying the existing classes or functionality. We also discuss about a visualization of tsunami simulation data by using 6x6 data wall and the TiledRenderer.
A common argument among computer science students is the lack of practical, real-world relevance of applications they develop as part of their studies. This paper describes and analyses how learning social networks pr...
详细信息
ISBN:
(纸本)9789537044138
A common argument among computer science students is the lack of practical, real-world relevance of applications they develop as part of their studies. This paper describes and analyses how learning social networks programming, as a practical assignment of a programming course, affects students' motivation and whether it alleviates such complaints. Educators can use the findings to decide whether integrating such elements into their courses is worthwhile.
The aim of this work is to study the feasibility of using agent-based modelling and object oriented programming (OOP) to study the activated sludge process. A model in MATLAB has been proposed, and experiments have be...
详细信息
ISBN:
(纸本)9783642287640
The aim of this work is to study the feasibility of using agent-based modelling and object oriented programming (OOP) to study the activated sludge process. A model in MATLAB has been proposed, and experiments have been developed analyzing the behaviour of the model when some of its parameters are changed.
Effective use of passive and active sensors for surveillance, security, and intelligence must consider terrain and atmospheric effects on the sensor performance. Several years ago, U. S. Army ERDC undertook developmen...
详细信息
ISBN:
(纸本)9780819490810
Effective use of passive and active sensors for surveillance, security, and intelligence must consider terrain and atmospheric effects on the sensor performance. Several years ago, U. S. Army ERDC undertook development of software for modeling environmental effects on target signatures, signal propagation, and battlefield sensors for many signal modalities (e. g., optical, acoustic, seismic, magnetic, radio-frequency, chemical, biological, and nuclear). Since its inception, the software, called Environmental Awareness for Sensor and Emitter Employment (EASEE), has matured and evolved significantly for simulating a broad spectrum of signal-transmission and sensing scenarios. The underlying software design involves a flexible, object-oriented approach to the various stages of signal modeling from emission through processing into inferences. A sensor placement algorithm has also been built in for optimizing sensor selections and placements based on specification of sensor supply limitations, coverage priorities, and wireless sensor communication requirements. Some recent and ongoing enhancements are described, including modeling of active sensing scenarios and signal reflections, directivity of signal emissions and sensors, improved handling of signal feature dependencies, extensions to realistically model additional signal modalities such as infrared and RF, and XML-based communication with other calculation and display engines.
暂无评论