scholarly journals Alias analysis method for object-oriented programs using alias flow graphs

2004 ◽  
Vol 35 (4) ◽  
pp. 49-59 ◽  
Author(s):  
Fumiaki Ohata ◽  
Kazuhiro Kondou ◽  
Katsuro Inoue
Sensi Journal ◽  
2020 ◽  
Vol 6 (2) ◽  
pp. 236-246
Author(s):  
Ilamsyah Ilamsyah ◽  
Yulianto Yulianto ◽  
Tri Vita Febriani

The right and appropriate system of receiving and transferring goods is needed by the company. In the process of receiving and transferring goods from the central warehouse to the branch warehouse at PDAM Tirta Kerta Raharja, Tangerang Regency, which is currently done manually is still ineffective and inaccurate because the Head of Subdivision uses receipt documents, namely PPBP and mutation of goods, namely MPPW in the form of paper as a submission media. The Head of Subdivision enters the data of receipt and mutation of goods manually and requires a relatively long time because at the time of demand for the transfer of goods the Head of Subdivision must check the inventory of goods in the central warehouse first. Therefore, it is necessary to hold a design of information systems for the receipt and transfer of goods from the central warehouse to a web-based branch warehouse that is already database so that it is more effective, efficient and accurate. With the web-based system of receiving and transferring goods that are already datatabed, it can facilitate the Head of Subdivision in inputing data on the receipt and transfer of goods and control of stock inventory so that the Sub Head of Subdivision can do it periodically to make it more effective, efficient and accurate. The method of data collection is done by observing, interviewing and studying literature from various previous studies, while the system analysis method uses the Waterfall method which aims to solve a problem and uses design methods with visual modeling that is object oriented with UML while programming using PHP and MySQL as a database.


2018 ◽  
Vol 32 (25) ◽  
pp. 1850283
Author(s):  
Jing He ◽  
Gang Liu ◽  
Weile Li ◽  
Chuan Tang ◽  
Jiayan Lu

Identifying the degree distribution of land cover networks is helpful to find analytical methods for characterizing complex land cover, including segmentation techniques of remote sensing images of land cover. After segmentation, we can obtain the geographical objects and corresponding relationships. In order to evaluate the segmentation results, we introduce the concept of land cover network and present an analysis method based on statistics of its degree distribution. Considering the object-oriented segmentation and objects merge-based spectral difference segmentation, we construct the land cover networks for different segmentation scales and spatial resolutions under these two segmentation strategies, and study the degree distribution of each land cover network. Experimental results indicate that, for the object-oriented segmentation, the degree distributions of land cover networks follow approximately a Poisson distribution, regardless of the segmentation scales and spatial resolutions. For the objects-merge method based on spectral difference segmentation, degree distributions exhibit heavy tails. Compared with all the segmentation results, the pattern spots after objects-merge better retain the integrity of geographical features and the land cover network can reflect more accurately the topological properties of real land cover when the threshold of objects merge is suitable. This study shows that we can evaluate the reliability of segmentation results objectively by analyzing the degree distribution pattern of land cover networks.


Author(s):  
Angelina Ervina Jeanette Egeten ◽  
Lya Santi Rahayu ◽  
Riansyah Rafsanjani

PT. Garuda Maintenance Facility (GMF) is a member of Garuda Indonesia, which provides free ticket facilities every year for its permanent employees. However, most of its employees have problems in making tour package reservations due to the lack of knowledge of tourist attractions. The purpose of this research is to provide solutions for PT. GMF employees in making tour package reservations, and it can be the solution for Koperasi Karyawan Garuda Maintenance Facility AeroAsia Sejahtera (KopKar GMF AAS) business opportunities in tourism sector. This research is using the interview method, observation, and literature review to compile the research supporting data, whereas the analysis method and design is using object-oriented analysis and design (OOAD). The result of this research is a form of system design which provides convenience for the employees who are making tour package reservations, as well as a business solution for KopKar GMF AAS. PT. GMF employees as the user of the tour package reservations user, and KopKar GMF AAS as the admin (administrator) of the system. The analysis and the development of this tour package reservations system include four main processes, which are creating travel plan, booking the travel package, payment confirmation, and managing transactions.


2012 ◽  
Vol 457-458 ◽  
pp. 427-430
Author(s):  
Ming Yao ◽  
Jing Zhong Xu ◽  
Lin Jian Huang

This paper is mainly about power quality monitoring system analysis method, designs and implements the system based on object-oriented UML platform. Combined with UML modeling language CASE tool rational Rose, and further analysis, finally realize the power quality monitoring system.


2013 ◽  
Vol 2013 ◽  
pp. 1-10 ◽  
Author(s):  
Nicolas Frechette ◽  
Linda Badri ◽  
Mourad Badri

This paper presents a selective regression testing technique and an associated tool for object-oriented software. The technique is based on the concept of Control Call Graphs, which are a reduced form of traditional Control Flow Graphs. It uses static analysis of the source code of the program. The developed tool (1) identifies the Control Call Paths potentially impacted by changes, (2) selects, from an existing test suite, the appropriate test cases, and (3) generates new JUnit test cases for control call paths that are not covered by existing tests (new ones, or those whose structure has been modified after changes). In this way, the approach supports an incremental update of the test suite. The selected JUnit test cases, including the new ones, are automatically executed. Three concrete case studies are reported to provide evidence of the feasibility of the approach and its benefits in terms of reduction of regression testing effort.


Author(s):  
Wenbo Zhou ◽  
Lei Shi ◽  
Jian Chen

The online computer-assisted instruction system has changed the way of knowledge acquisition, and makes knowledge transmission faster, and more con-venient and efficient. This study discusses the key technologies of online com-puter-assisted instruction system with such methods as literature research, system analysis and empirical research, analyzes the requirement of online computer-assisted instruction system with object-oriented analysis method, determines the main functions of online computer-assisted instruction system, and designs the model of online computer-assisted instruction system in detail with the aid of UML technology. The practicality and validity of the model are verified by the re-alization of some interfaces and processes of the system model.


Sign in / Sign up

Export Citation Format

Share Document