scholarly journals Config: A Case Study in Combining Software Engineering Techniques

2000 ◽  
Vol 8 (2) ◽  
pp. 59-71
Author(s):  
David Maley ◽  
Ivor Spence
Keyword(s):  
Software Engineering ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Substantial Contribution ◽  
Software Systems ◽  
Generic Programming ◽  
Design By Contract ◽  
R Matrix ◽  
Orthogonal Dimension

Config is a software component of the Graphical R-Matrix Atomic Collision Environment. Its development is documented as a case study combining several software engineering techniques: formal specification, generic programming, object-oriented programming, and design by contract. It is specified in VDM++; and implemented in C++, a language which is becoming more than a curiosity amongst the scientific programming community. C++supports object orientation, a powerful architectural paradigm in designing the structure of software systems, and genericity, an orthogonal dimension to the inheritance hierarchies facilitated by object oriented languages. Support in C++ for design by contract can be added in library form. The combination of techniques make a substantial contribution to the overall software quality.

Deployment of Mobile Learning Course Materials to Android Powered Mobile Devices

2012 ◽  
Vol 10 (3) ◽  
pp. 1-16 ◽  
Author(s):  
Lee Chao
Keyword(s):  
Mobile Devices ◽  
Teaching And Learning ◽  
Science Curriculum ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Traditional Course ◽  
Course Materials ◽  
Course Material ◽  
Android Market

The objective of this article is to facilitate mobile teaching and learning by providing an alternative course material deployment method. This article suggests a course material deployment platform for small universities or individual instructors. Different from traditional course material deployment methods, the method discussed deploys course materials by using services provided by Android Market. After comparing the traditional course material deployment and the alternative deployment, the author presents strategies to take advantage of Android Market in delivering course materials to mobile devices. Through a case study, this article illustrates the application of these strategies in deploying a class menu for an object-oriented programming course in the computer science curriculum.

Estimation of the Scope of Change Propagation in Object-Oriented Programming

2010 ◽  
Author(s):  
Elmira Rajinia ◽  
Simon Li
Keyword(s):  
Computer Program ◽  
Systematic Approach ◽  
Matrix Representation ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Change Propagation ◽  
The Core ◽  
The Matrix ◽  
Made In

When minor modifications need to be made in an object-oriented computer program, they often incur further more changes due to the presence of dependency in the codes and the program structure. Yet, to accommodate the required change, there can also be more than one option to carry out the initial modifications. To select the modification option in this context, this paper proposes a systematic approach to estimate the scope of change propagation of an object-oriented program given some initial modifications. The strategy is to first capture the dependency relationships of the entities pertaining to an object-oriented program via the matrix representation. Based on this matrix-based model, the priority number method is proposed and applied to estimate the scope of change propagation by assuming some initial modifications. The core of this method is to estimate the chance of affecting other program entities due to some modified entities. A case study is conducted throughout the paper to illustrate and justify the proposed method.

Sign in / Sign up

Export Citation Format

Share Document