Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software maintenance costs, for the most part adoption of these ideas in industry remains at the experimental prototype stage. In this paper I explore some of the practical reasons for industrial resistance to adoption of softwar...

This study aimed to determine the relationship between implementation of total productive maintenance and lean manufacturing on overall equipment effectiveness at PT Kimia Farma Tbk Plant Banjaran. research design is quantitative, with multiple linear regression methods independent variable dependent variable. Data was collected by giving questionnaires directly respondents. study's results sho...

Side-effects are widely believed to impede program comprehension and have a detrimental effect upon software maintenance. This paper introduces an algorithm for side-effect removal which splits the side-effects into their pure expression meaning and their state-changing meaning. Symbolic execution is used to determine the expression meaning, while transformation is used to place the statechangi...

Prof. dr. ir. Tiedo Tinga is presently chairing the Dynamics based Maintenance group at the University of Twente and is also associate professor Maintenance Technology at the Netherlands Defence Academy. He is leading research programs at both institutes on predictive maintenance, reliability engineering and maintenance optimization. Prior to joining the universities, he has been working as a s...

We introduce FORM 4.2, a new minor release of the symbolic manipulation toolkit. We demonstrate several new features, such as a new pattern matching option, new output optimization, and automatic expansion of rational functions.

Understanding program dependencies in a computer program is essential for many software engineering activities including program slicing, testing, debugging, reverse engineering, and maintenance. In this paper, we present a dependence-based representation called multithreaded dependence graph, which extends previous dependence-based representations, to represent program dependencies in a concur...