Journal articles: 'Software maintenance. Computer-aided software engineering'

1

Kwon, Oh Cheon, Cornelia Boldyreff, and Malcolm Munro. "Software Configuration Management for a Reusable Software Library within a Software Maintenance Environment." International Journal of Software Engineering and Knowledge Engineering 08, no. 04 (December 1998): 483–515. http://dx.doi.org/10.1142/s0218194098000273.

Full text

Abstract:

Software Configuration Management and software reuse are now generally considered to be important technologies in software engineering. Both have been proposed for making a significant improvement in productivity and quality. However, these two technologies have been investigated separately. In order to make Software Configuration Management and reuse more effective, both approaches require to be introduced into a development or maintenance environment together. The authors have developed a process model for Maintenance with Reuse (MwR) to support Software Configuration Management for a reuse library within a maintenance environment. As software reuse and Software Configuration Management as well as software reuse and software maintenance have many similarities in their activities, and these areas can therefore be integrated within a software maintenance environment. An integrated approach to the common areas of these different activities will greatly contribute to the productivity and quality of software. This paper will address an integrated approach that can overcome some of the barriers that exist in software maintenance and reuse. A process model of an integrated approach has been created and validated using Process Weaver. In order for the reuse library to allow accesses from many potential reusers, the process model has been implemented on the WWW. The paper describes an integrated process model and its prototype to support change and version control for evolution of software components within both a reuse library and a legacy system.

APA, Harvard, Vancouver, ISO, and other styles

2

BERZTISS, ALFS T. "REVERSE ENGINEERING, REENGINEERING, AND CONCURRENT ENGINEERING OF SOFTWARE." International Journal of Software Engineering and Knowledge Engineering 05, no. 02 (June 1995): 299–324. http://dx.doi.org/10.1142/s0218194095000150.

Full text

Abstract:

This survey reviews four classes of reengineering of software systems: code restructuring and translation of code into a new language, design recovery for corrective maintenance, design recovery for software enhancement, and software reengineering as part of radical business process reengineering. Special attention is given to the reengineering of data bases and user interfaces. We also consider concurrent software engineering, its place in the software reengineering process, and groupware in support of this process.

APA, Harvard, Vancouver, ISO, and other styles

3

Wee, Nam-Sook. "Optimal Maintenance Schedules of Computer Software." Probability in the Engineering and Informational Sciences 4, no. 2 (April 1990): 243–55. http://dx.doi.org/10.1017/s026996480000156x.

Full text

Abstract:

We present a decision procedure to determine the optimal maintenance intervals of a computer software throughout its operational phase. Our model accounts for the average cost per each maintenance activity and the damage cost per failure with the future cost discounted. Our decision policy is optimal in the sense that it minimizes the expected total cost. Our model assumes that the total number of errors in the software has a Poisson distribution with known mean λ and each error causes failures independently of other errors at a known constant failure rate. We study the structures of the optimal policy in terms of λ and present efficient numerical algorithms to compute the optimal maintenance time intervals, the optimal total number of maintenances, and the minimal total expected cost throughout the maintenance phase.

APA, Harvard, Vancouver, ISO, and other styles

4

KAJKO-MATTSSON, MIRA, and NED CHAPIN. "DATA MINING FOR VALIDATION IN SOFTWARE ENGINEERING: AN EXAMPLE." International Journal of Software Engineering and Knowledge Engineering 14, no. 04 (August 2004): 407–27. http://dx.doi.org/10.1142/s0218194004001725.

Full text

Abstract:

Consider two independently done software engineering studies that used different approaches to cover some of the same subject area, such as software maintenance. Although done differently and for different purposes, to what extent can each study serve as a validation of the other? Within the scope of the subject area overlap, data mining can be applied to provide a quantitative assessment. This paper reports on the data mining that attempted to cross validate two independently done and published software engineering studies of software maintenance, one on a corrective maintenance maturity model, and the other on an objective classification of software maintenance activities. The data mining established that each of the two independently done studies effectively and very strongly validates the other.

APA, Harvard, Vancouver, ISO, and other styles

5

Rine, David. "Software perfective maintenance: Including retrainable software in software reuse." Information Sciences 75, no. 1-2 (December 1993): 109–32. http://dx.doi.org/10.1016/0020-0255(93)90116-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Boston, R. C., H. Granek, N. Sutton, K. Weber, P. Greif, and L. Zech. "The maintenance, distribution and development of biomedical computer software: an exercise in software engineering." Computer Methods and Programs in Biomedicine 22, no. 3 (June 1986): 305–21. http://dx.doi.org/10.1016/0169-2607(86)90007-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

GANNOD, GERALD C., and BETTY H. C. CHENG. "FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 04, no. 02 (June 1994): 183–204. http://dx.doi.org/10.1142/s0218194094000106.

Full text

Abstract:

As software is increasingly used to control safety-critical systems, correctness becomes paramount. Formal methods in software development provide many benefits in the forward engineering aspect of software development. Reverse engineering is the process of constructing a high-level representation of a system from existing lower level instanti-ations of that system. Reverse engineering of program code into formal specifications facilitates the utilization of the benefits of formal methods in projects where formal methods may not have previously been used, thus facilitating the maintenance of safety-critical systems.

APA, Harvard, Vancouver, ISO, and other styles

8

Chandra, C., and C. V. Ramamoorthy. "An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software." International Journal of Software Engineering and Knowledge Engineering 08, no. 01 (March 1998): 3–20. http://dx.doi.org/10.1142/s0218194098000030.

Full text

Abstract:

Reverse engineering and reengineering are two major research challenges in the software maintenance process. Reverse engineering is the process of rederiving the specification of a program; and reengineering is the process of modifying an already existing software to add additional functionalities or to correct any malfunction. The difficulty in these tasks are that software development commonly involves many software engineers with implicit assumptions about the behavior of each module. These assumptions are not documented and often leads to inconsistencies in the code. During reverse engineering, such assumptions may not be uncovered. These assumptions usually have complex dependencies, and are the cause of a lot of bugs when the software is reengineered. Many approaches and prototype tools have been developed to address these issues. Reverse engineering and automated program understanding tools have been developed to support the reverse engineering tasks; while various theoretical works on structural program analysis and programs for automated ripple effect analysis have attempted to deal with the reengineering process. These works can be classified into two main types of approaches: those using shallow knowledge or knowledge about the structure of the system and those utilizing deep knowledge or knowledge about the semantics and behavior of the software system. In this paper, we attempt to survey works that have been done under these two broad categories of approaches to deal with the software maintenance tasks, evaluate the strengths and drawbacks of each approach, and attempt to draw a conclusion on the advantages and disadvantages of the two main lines of approaches.

APA, Harvard, Vancouver, ISO, and other styles

9

CANFORA, GERARDO, FILIPPO LANUBILE, and GIUSEPPE VISAGGIO. "IESEM: INTEGRATED ENVIRONMENT FOR SOFTWARE EVOLUTION MANAGEMENT." International Journal of Software Engineering and Knowledge Engineering 05, no. 01 (March 1995): 49–71. http://dx.doi.org/10.1142/s0218194095000046.

Full text

Abstract:

Software evolution has no common paradigm which practitioners can adhere to. On the contrary, there is a wide range of models, methods, techniques, and tools which are selected according to the specific task, the application domain, the professional experience, and the organizational culture. We argue that different approaches and technologies may be combined into a unique platform to satisfy the needs of software systems which evolve over long periods of time. This paper presents the Integrated Environment for Software Evolution Management (IESEM) which includes software repositories, reverse engineering tools, rationale capture tools, software measurement tools, and a user-friendly interface. It can manage heterogeneous systems characterized by various design methods and programming languages. IESEM is based on a central repository which stores software engineering artifacts, program code, design, and implementation decisions in the form of a traceability graph. The repository stores also software measures computed both from programs and external CASE repositories. Measures are used to control software degradation during its evolution and to support decisions based on quality factors. The key concepts of IESEM, its design, and implementation are presented. The use of IESEM during development and maintenance is discussed. A case study shows IESEM's effectiveness in performing maintenance tasks.

APA, Harvard, Vancouver, ISO, and other styles

10

Mellor, P. "Field monitoring of software maintenance." Software Engineering Journal 1, no. 1 (1986): 43. http://dx.doi.org/10.1049/sej.1986.0008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

PETRY, FREDERICK E., and BERTRAND DANIEL DUNAY. "AUTOMATIC PROGRAMMING AND PROGRAM MAINTENANCE WITH GENETIC PROGRAMMING." International Journal of Software Engineering and Knowledge Engineering 05, no. 02 (June 1995): 165–77. http://dx.doi.org/10.1142/s0218194095000095.

Full text

Abstract:

Automatic programming is discussed in the context of software engineering. An approach to automatic programming is presented, which utilizes software engineering principles in the synthesis and maintenance of programs. As a simple demonstration, program-equivalent Turing machines are synthesized, encapsulated, reused, and maintained by genetic programming. Turing machines are synthesized from input-output pairs for a variety of simple problems. When a problem is solved, the solution is encapsulated and becomes part of a software library. The genetic program uses the library to solve new problems by combining library components with program primitives to synthesize new programs. When a new problem is solved or a known problem is solved more efficiently, the genetic program maintains the library so as to keep it valid and efficient.

APA, Harvard, Vancouver, ISO, and other styles

12

Moreton, Robert. "Re-Engineering Tools Have the Potential to Overcome Systems Maintenance Bottleneck." Journal of Information Technology 7, no. 2 (June 1992): 95–99. http://dx.doi.org/10.1177/026839629200700205.

Full text

Abstract:

The paper argues that the current generation of re-engineering tools can provide significant benefits for those organizations which have high applications maintenance overheads. The paper classifies the different types of re-engineering tools and their application potential. It is argued that these tools promise to provide a migration path towards the integrated computer-aided software environments which will emerge over the next 5–10 years. This paper follows on from work which the author has undertaken for the CSC-Index Performance Enhancement Programme (PEP). PEP is a continuous programme that is open to organizations wishing to measure and improve systems development and productivity.

APA, Harvard, Vancouver, ISO, and other styles

13

OSAKI, SHUNJI, HIDESHI OHSHIMO, and SATOSHI FUKUMOTO. "Effect of software maintenance policies for a hardware-software system." International Journal of Systems Science 20, no. 2 (February 1989): 331–38. http://dx.doi.org/10.1080/00207728908910130.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Gabbar, Hossam A., Hiroyuki Yamashita, Kazuhiko Suzuki, and Yukiyasu Shimada. "Computer-aided RCM-based plant maintenance management system." Robotics and Computer-Integrated Manufacturing 19, no. 5 (October 2003): 449–58. http://dx.doi.org/10.1016/s0736-5845(03)00031-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Mejía, Jezreel, Rafael Valencia-García, Giner Alor-Hernández, and José A. Calvo-Manzano. "Knowledge Intensive Software Engineering Applications." JUCS - Journal of Universal Computer Science 27, no. 2 (February 28, 2021): 87–90. http://dx.doi.org/10.3897/jucs.65078.

Full text

Abstract:

The use of Information and Communication Technologies (ICTs)  has become a competitive strategy that allows organizations to position themselves within their market of action. In addition, the evolution, advancement and use of ICTs within any type of organization have created new domains of interest. In this context, Knowledge-intensive software engineering applications are becoming crucial in organizations to support their performance. Knowledge-based technologies provide a consistent and reliable basis to face the challenges for organization, manipulation and visualization of the data and knowledge, playing a crucial role as the technological basis of the development of a large number of information systems. In software engineering, it involves the integration of various knowledge sources that are in constant change. Knowledge-intensive software applications are becoming more significant because the domains of many software applications are inherently knowledge-intensive and this knowledge is often not explicitly dealt with in software development. This impedes maintenance and reuse. Moreover, it is generally known that developing software requires expertise and experience, which are currently also implicit and could be made more tangible and reusable using knowledge-based or related techniques. Furthermore, organizations have recognized that the software engineering applications are an optimal way for providing solutions, because it is a file that is constantly evolving due to the new challenges. Examples of approaches that are directly related to this tendency are data analysis, software architectures, knowledge engineering, ontologies, conceptual modelling, domain analysis and domain engineering, business rules, workflow management, human and cultural factors, to mention but a few. Therefore, tools and techniques are necessary to capture and process knowledge in order to facilitate subsequent development efforts, especially in the domain of software engineering.  

APA, Harvard, Vancouver, ISO, and other styles

16

Cornelius, B. J., M. Munro, and D. J. Robson. "An approach to software maintenance education." Software Engineering Journal 4, no. 4 (1989): 233. http://dx.doi.org/10.1049/sej.1989.0030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Shaikh, Mohsin, and Chan-Gun Lee. "Aspect Oriented Re-engineering of Legacy Software Using Cross-Cutting Concern Characterization and Significant Code Smells Detection." International Journal of Software Engineering and Knowledge Engineering 26, no. 03 (April 2016): 513–36. http://dx.doi.org/10.1142/s0218194016500212.

Full text

Abstract:

Although object-oriented programming (OOP) methodologies immensely promote reusable and well-factored decomposition of complex source code, legacy software systems often show symptoms of deteriorating design over time due to lack of maintenance. Software systems may have different business and application contexts, but most of these systems require similar maintenance mechanism of understanding, analysis and transformation. As a consequence, intensive re-engineering efforts based on the model driven approach can be effective ensuring that best practices are followed during maintenance and eventually reducing the development cost. In this paper, we suggest detailed framework of re-engineering which includes: (i) rigorous and automated source code analysis technique for identification, characterization and prioritization of most prominent and threatening design flaws in legacy software, (ii) migration of existing the code to aspect-oriented programming (AOP) code by exploiting current state of art for aspect mining mechanism and incorporating behavioral knowledge of cross-cutting concerns. To exemplify how the approach works a case study has been conducted to experimentally validate the idea and analyze the effect of process on specific software quality spectrum. An explicit analysis of prevalent work on the subject and their critical reviews are also presented to further enhance the recognition of proposed re-engineering framework.

APA, Harvard, Vancouver, ISO, and other styles

18

HIRA, RON, OSCAR DIESTE, GEORGE SPANOUDAKIS, GIUSEPPE VISAGGIO, GUIDO WIRTZ, and S. K. CHANG. "IT-OUTSOURCING AND IT-OFFSHORING: TRENDS AND IMPACTS ON SE/KE CURRICULA." International Journal of Software Engineering and Knowledge Engineering 17, no. 05 (October 2007): 663–85. http://dx.doi.org/10.1142/s0218194007003409.

Full text

Abstract:

As a result of IT outsourcing and offshoring, IT professionals and educators are faced with the following question: What SE & KE skill sets will make a software engineer or a knowledge engineer immune to the impact of outsourcing and offshoring? This article summarizes the position papers from a panel held during the 2006 International Conference on Software Engineering and Knowledge Engineering from July 5 to 7 at the Hotel Sofitel, Redwood City in California, USA. Bringing software and knowledge engineers closer to the needs of their prospective customers and providing more value than simply pure software development and maintenance, is an open challenge at least for traditional computer science and software engineering curricula.

APA, Harvard, Vancouver, ISO, and other styles

19

Morrissey, Mark. "Human-Centric Design." Mechanical Engineering 120, no. 07 (July 1, 1998): 60–62. http://dx.doi.org/10.1115/1.1998-jul-2.

Full text

Abstract:

This article reviews that advances in manikin software have enabled engineers to consider a fuller spectrum of user interactions with virtual products. It has been 15 years since Sammie—a computer model of a human or manikin—emerged from the research labs of Nottingham University in the United Kingdom, promising human-factors (HF) engineers a supporting software tool to improve the study of human elements of product design. Although Sammie incorporated accurate anthropometric data and representative joint constraints, the software was very difficult to use, could not import models from a computer-aided-design (CAD) system, and was not dynamic. After phase 1 of the collaborative project, Rolls-Royce and VSEL expanded their study to evaluate the use of virtual reality for the design and layout of larger and more complex machinery spaces. This second collaborative effort had several objectives: to understand how virtual-prototyping technology could help designers better visualize complex designs, design for ease of assembly and maintenance much earlier, train maintenance engineers, and enhance communications between disparate project teams, customers, and suppliers.

APA, Harvard, Vancouver, ISO, and other styles

20

Farahani, Elham Darmanaki, and Jafar Habibi. "Configuration Management Model in Evolutionary Software Product Line." International Journal of Software Engineering and Knowledge Engineering 26, no. 03 (April 2016): 433–55. http://dx.doi.org/10.1142/s0218194016500182.

Full text

Abstract:

In Software Product Line (SPL), Configuration Management (CM) is a multi-dimensional problem. On the one hand, the Core Assets that constitute a configuration need to be managed, and on the other hand, each product in the product line that is built using a configuration must be managed, and furthermore, the management of all these configurations must be coordinated under a single process. Therefore, CM for product lines is more complex than for single systems. The CM of any software system involves four closely related activities: Change Management (ChM), Version Management (VM), System Building (SB) and Release Management (RM) [I. Sommerville, Software Engineering, 9th edn. (Addison-Wesley, 2010)]. The aim of this paper is to provide ChM and VM models for evolutionary-based SPL system development and maintenance. The proposed models support any level of aggregation in SPLs and have been applied to Mobile SPL as a case study.

APA, Harvard, Vancouver, ISO, and other styles

21

Koster, Alexis. "Academic Programs Adequate For The Software Profession?" American Journal of Business Education (AJBE) 3, no. 3 (March 1, 2010): 35–38. http://dx.doi.org/10.19030/ajbe.v3i3.396.

Full text

Abstract:

According to the Bureau of Labor Statistics, close to 1.8 million people, or 77% of all computer professionals, were working in the design, development, deployment, maintenance, and management of software in 2006. The ACM model curriculum for the BS in computer science proposes that about 42% of the core body of knowledge be dedicated to software engineering, including programming. An examination of the curriculum of a typical computer science department shows that, excluding programming courses, no courses specific to software engineering are required for the BS, although several are available as elective courses. Academics typically resist the demands of the industry, in part because some of them are for specific software tools, design methods, or programming languages whose use does not last. Under market pressure, more required software engineering courses may slowly be included in the curriculum. The usual solution is for businesses to offer their software professionals needed courses in software engineering.

APA, Harvard, Vancouver, ISO, and other styles

22

Dellen, Barbara, Frank Maurer, Jürgen Münch, and Martin Verlage. "Enriching Software Process Support by Knowledge-Based Techniques." International Journal of Software Engineering and Knowledge Engineering 07, no. 02 (June 1997): 185–215. http://dx.doi.org/10.1142/s0218194097000102.

Full text

Abstract:

Representations of activities dealing with the development or maintenance of software are called software process models. Process models allow for communication, reasoning, guidance, improvement, and automation. Two approaches for modeling processes and instantiating and managing the process models, namely CoMo-Kit and MVP-E, are combined to build a more powerful one. CoMo-Kit is based on AI/KE technology; it is a support tool system for general complex design processes, and was not been developed specifically with software development processes in mind. MVP-E is a process-sensitive software engineering environment for modeling and analyzing software development processes, and guides software developers. Additionally, it provides services to establish and run measurement programmes in software organizations. Because both approaches were developed independently from one another, major integration efforts had to be made to combine both their advantages. This article concentrates on the resulting language concepts, and their operationalization necessary for building automated process support.

APA, Harvard, Vancouver, ISO, and other styles

23

Ahmed, Rana Ejaz. "Software maintenance outsourcing: Issues and strategies." Computers & Electrical Engineering 32, no. 6 (November 2006): 449–53. http://dx.doi.org/10.1016/j.compeleceng.2006.01.023.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

LEE, JONATHAN, and JOHN YEN. "ENHANCING THE SOFTWARE LIFE CYCLE OF KNOWLEDGE-BASED SYSTEMS USING A TASK-BASED SPECIFICATION METHODOLOGY." International Journal of Software Engineering and Knowledge Engineering 03, no. 01 (March 1993): 3–15. http://dx.doi.org/10.1142/s0218194093000021.

Full text

Abstract:

Several methodologies have been developed to enhance the software life cycle of knowledge-based systems by emphasizing on the use of both prototypes and specifications. However, these methodologies focus on the development phase of knowledge-based systems. The roles of prototypes and specifications in the maintenance phase has not been fully explored. Because a suitable problem specification for a knowledge-based system is often difficult to acquire, validating changes to non-executable solution specification during the maintenance phase can be a problem. To address this, we propose an alternative paradigm in which the prototype complements the specification throughout the life cycle. The traceability between them is facilitated by organizing both types of artifacts using a common functional decomposition structure. Based on our task-based specification methodology (TBSM), we have also developed a knowledge engineering tool (called TAME) to facilitate the acquisition and the organization of the specification and the prototype. The proposed methodology and the tool together can thus enhance the verification, validation, and the maintenance of knowledge-based systems through their life cycles.

APA, Harvard, Vancouver, ISO, and other styles

25

YAMATO, Yoji, Shinichiro KATSURAGI, Shinji NAGAO, and Norihiro MIURA. "Software Maintenance Evaluation of Agile Software Development Method Based on OpenStack." IEICE Transactions on Information and Systems E98.D, no. 7 (2015): 1377–80. http://dx.doi.org/10.1587/transinf.2015edl8049.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Bowen, Jonathan, Peter Breuer, and Kevin Lano. "A compendium of formal techniques for software maintenance." Software Engineering Journal 8, no. 5 (1993): 253. http://dx.doi.org/10.1049/sej.1993.0031.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

FARHOODI, ROSHANAK, VAHID GAROUSI, DIETMAR PFAHL, and JONATHAN SILLITO. "DEVELOPMENT OF SCIENTIFIC SOFTWARE: A SYSTEMATIC MAPPING, A BIBLIOMETRICS STUDY, AND A PAPER REPOSITORY." International Journal of Software Engineering and Knowledge Engineering 23, no. 04 (May 2013): 463–506. http://dx.doi.org/10.1142/s0218194013500137.

Full text

Abstract:

Scientific and engineering research is heavily dependent on effective development and use of software artifacts. Many of these artifacts are produced by the scientists themselves, rather than by trained software engineers. To address the challenges in this area, a research community often referred to as "Development of Scientific Software" has emerged in the last few decades. As this research area has matured, there has been a sharp increase in the number of papers and results made available, and it has thus become important to summarize and provide an overview about those studies. Through a systematic mapping and bibliometrics study, we have reviewed 130 papers in this area. We present the results of our study in this paper. Also we have made the mapping data available on an online repository which is planned to be updated on a regular basis. The results of our study seem to suggest that many software engineering techniques and activities are being used in the development of scientific software. However, there is still a need for further exploration of the usefulness of specific software engineering techniques (e.g., regarding software maintenance, evolution, refactoring, re(v)-engineering, process and project management) in the scientific context. It is hoped that this article will help (new) researchers get an overview of the research space and help them to understand the trends in the area.

APA, Harvard, Vancouver, ISO, and other styles

28

Popov, Vladimir, and Tatjana Grigorjeva. "INTEGRATED COMPUTER – AIDED DESIGN OF BUILDING STRUCTURES." Engineering Structures and Technologies 2, no. 1 (March 31, 2010): 31–37. http://dx.doi.org/10.3846/skt.2010.04.

Full text

Abstract:

With the growth of information technologies in the field of computer-aided design, the concept of CAD acquires new meaning and changes the contents. More and more a new definitions, i.e. Building Information Modeling - BIM, Fabrication Information Modeling - FIM, Integrated Structural Modeling - ISM, Building Lifecycle Management - PLM and others are encountered, the concept of which may be described as way to develop the strategy of building project design, construction, and maintenance management based on the computer aided modeling and simulation technologies. Examine BIM application in building design process it can be assumed that of object modeling and simulation technique comprises a full range of actions starting from the development of virtual model of the project under consideration, describing all physical parameters characteristic of a real structure, defining the conditions of its position. Then analysis of model behavior under real maintenance conditions is performed: effects of different character are described and the results obtained are analyzed. The results received by next step are presented in common technical documentation form: general arrangement and erection drawings are generated, final detailing of connections and structural elements in the form of shop drawing or NC code is performed, bill of materials, cut lists, various reports, specifications and estimates are composed. During the last five years there is strong request from the market for the state-of-the-art computer-aided design applications developed to meet the needs and requirements of the Architectural, Engineering, and Construction as well as Plant, Process, and Power industries, for high performance, flexible and versatile tools with extended graphics integration to simulation and analysis systems within a user-friendly design environment that allows the close emulation of natural design phases and workflow to which structural are accustomed. This could became possible due to the innovative development of ‘new generation’ structural software application capable to maintain an intelligent and true 3D real-world simulated structure containing all the information required for the general and detailed design, fabrication and construction of engineering structures, enabling designers to operate intuitively in the adaptive high-performance real-time visual modeling environment while simultaneously achieving high-quality results by applying powerful simulation, analysis and optimization methods which would guarantee a rational and effective choice of the constructive decision. It has to be flexible to enable external best of breed vertical market products to be linked to the application and hence creating an open design environment; this enables members of a workgroup to collaborate effectively, performing the multiple tasks associated with construction design.

APA, Harvard, Vancouver, ISO, and other styles

29

DEMELO, A., and A. SANCHEZ. "Software maintenance project delays prediction using Bayesian Networks." Expert Systems with Applications 34, no. 2 (February 2008): 908–19. http://dx.doi.org/10.1016/j.eswa.2006.10.040.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Bartin, Bekir, Kaan Ozbay, Matthew D. Maggio, and Hao Wang. "Work Zone Coordination Software Tool." Transportation Research Record: Journal of the Transportation Research Board 2617, no. 1 (January 2017): 60–70. http://dx.doi.org/10.3141/2617-08.

Full text

Abstract:

Faced with a growing number of work zones, transportation agencies are being challenged to effectively manage the impacts of these zones, alleviate congestion, and maintain the safety of motorists and workers without disrupting project schedules. Coordinating work zones has already been practiced by various state departments of transportation and transportation agencies, yet there are no universal department of transportation policies that address how agencies should coordinate or consolidate projects. In addition, only a few states utilize computer tools specific to regional or corridor-based work zone coordination. State departments of transportation mostly coordinate significant and long-term projects. However, the majority of roadway projects include minor repair, roadway maintenance, bridge maintenance, surveying, and landscape and utility work that require relatively short-term work zones. The Work Zone Coordination Software tool was developed to provide the New Jersey Department of Transportation with an easy-to-use tool to evaluate the feasibility and effectiveness of coordinating short- and long-term work zones and to measure the benefits. This online tool is implemented with a web-based user interface. It integrates all scheduled and active construction projects, identifies conflicts between work zone projects, and estimates the benefits of conflict mitigation. The Work Zone Coordination Software tool works with the New Jersey work zone database by automatically importing data to provide up-to-date information to its users. However, the tool is built on a flexible framework that allows the integration of any work zone database provided that it includes all the required information.

APA, Harvard, Vancouver, ISO, and other styles

31

Marques, Johnny, and Adilson Marques da Cunha. "ARES: An Agile Requirements Specification Process for Regulated Environments." International Journal of Software Engineering and Knowledge Engineering 29, no. 10 (October 2019): 1403–38. http://dx.doi.org/10.1142/s021819401950044x.

Full text

Abstract:

Agile methods have provided significant contributions to Software Engineering. This work presents a new process for Software Requirements Specification, integrating Agile Properties and regulated environments, such as aviation, medical, nuclear and automotive, among others. The Software in Regulated Environments (SRE) involves plan-driven methods with needed documentation to ensure safety, reliability, security, and discipline. This paper proposes a balance between agile and plan-driven methods. We define a new process, which explores and investigates the usage of agile methods in SRE. The scope of this paper is Requirements Engineering, which is considered as a set of activities involved in the management, elicitation, documentation, and maintenance of requirements. The Adile Requirements Specification (ARES) process contains four methods, 13 activities, and some required artifacts to ensure compliance with the following six relevant Software Standards for regulated environments: RTCA DO-178C, IEC 62304:2015, ECSS-E-ST-40C, IEC 61508-3, ISO/IEC/IEEE 12207, and IAEA SSG-39. The process evaluation was performed using two experiments: a Cockpit Display System (CDS) and a Healthcare Information System (HIS). These experiments were measured with appropriate metrics to ensure improvements in Software Requirements Specification and traceability among artifacts. The experimental results revealed that the ARES process works better than the original Scrum for Software in Regulated Environments. The ARES process can also be integrated with traditional software life cycles (Waterfall, V, and Incremental and Iterative), when applied in the Requirements Engineering phase.

APA, Harvard, Vancouver, ISO, and other styles

32

Cui, Zhihao, and Chaobing Yan. "Deep Integration of Health Information Service System and Data Mining Analysis Technology." Applied Mathematics and Nonlinear Sciences 5, no. 2 (December 21, 2020): 443–52. http://dx.doi.org/10.2478/amns.2020.2.00063.

Full text

Abstract:

AbstractThe scale and complexity of health information service system has increased dramatically, and its development activities and management are difficult to control. In the field of, Traditional methods and simple mathematical statistics methods are difficult to solve the problems caused by the explosive growth of data and information, which will adversely affect health information service system management finally. So, it is particularly important to find valuable information from the source code, design documents and collected software datasets and to guide the development and maintenance of software engineering. Therefore, some experts and scholars want to use mature data mining technologies to study the large amount of data generated in software engineering projects (commonly referred to as software knowledge base), and further explore the potential and valuable information inherently hidden behind the software data. This article initially gives a brief overview of the relevant knowledge of data mining technology and computer software technology, using decision tree graph mining algorithm to mine the function adjustment graph of the software system definition class, and then source code annotations are added to the relevant calling relationships. Data mining technology and computer software technology are deeply integrated, and the decision tree algorithm in data mining is used to mine the knowledge base of computer software. Potential defect changes are listed as key maintenance objects. The historical versions of source code change files with defects are found dynamically and corrected in time, to avoid the increase of maintenance cost in the future.

APA, Harvard, Vancouver, ISO, and other styles

33

Jindal, Rajni, Ruchika Malhotra, and Abha Jain. "Predicting Software Maintenance Effort by Mining Software Project Reports Using Inter-Version Validation." International Journal of Reliability, Quality and Safety Engineering 23, no. 06 (December 2016): 1640009. http://dx.doi.org/10.1142/s021853931640009x.

Full text

Abstract:

Changes in the software are unavoidable due to an ever changing dynamic and active environment wherein expectations and requirements of the users tend to change rapidly. As a result, software needs to upgrade itself from its previous version to the next version in order to meet expectations of the user. The upgradation of the software is in terms of total number of Lines of Code (LOC) that might have been inserted, deleted or modified in moving from one version of software to the next. These changes are maintained in the change reports which constitute of the defect ID and defect description. Defect description describes the cause of defect which might have occurred in the previous version of the software due to which either new LOC needs to be inserted or existing LOC need to be deleted or modified. A lot of effort is required to correct the defects identified in software at the maintenance phase i.e., when software is delivered at the customers end. Thus, in this paper, we intend to predict maintenance effort by analyzing the defect reports using text mining techniques and thereafter developing the prediction models using suitable machine learning algorithms viz. Multi-Layer Perceptron (MLP), Radial-Basis Function (RBF) network and Decision Tree (DT). We have considered the changes between three successive versions of ‘MMS’ application package of Android operating system and have performed inter-version validation where the model predicted using the version ‘v’ is validated on the subsequent version i.e., ‘v+1’. The performance of the model was evaluated using Receiver Operating Characteristics (ROC) analysis. The results indicated that the model predicted on ‘MMS’ 4.0 version using MLP algorithm has shown good results when validated on ‘MMS’ 4.1 version. On the other hand, the performance of RBF and DT algorithms has been consistently average in predicting the maintenance effort.

APA, Harvard, Vancouver, ISO, and other styles

34

Zhuang, Lei, Zhen Gao, Hao Wu, Chun Xin Yang, and Miao Zheng. "Research on DB2 Performance Testing Automation." Advanced Materials Research 756-759 (September 2013): 2204–8. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.2204.

Full text

Abstract:

Software testing play a significant role in modern software development and maintenance process, which is also an important means to ensure software reliability and improve software quality. With the continuous improvement of quality requirements of the software products and software engineering technology become more sophisticated, software testing has been participating into every phase of software lift cycle, become more and more important in software development and maintenance. DB2 Performance testing consists of four parts, which are environment setup, workload run, data measurement and environment clean up. Before all the operations are done manually and need about two hours continuous attention. Whats worse, even three times a day. This mechanical and complicated procedure is clearly unacceptable. This paper put forward a reusable automated testing framework based on IBM automated testing tools RFT to achieve the whole testing procedure automation. It reduces the count of human-computer interaction and greatly improves the efficiency of DB2 performance testing.

APA, Harvard, Vancouver, ISO, and other styles

35

Puspita, Desi. "Perangkat Lunak Bantu Penerimaan Siswa Baru Pada SD Methodist-5 Pagar Alam." Jurnal Ilmiah Betrik 8, no. 03 (November 14, 2017): 123–36. http://dx.doi.org/10.36050/betrik.v8i03.73.

Full text

Abstract:

Software is a computer program associated with software documentation such as need documentation, design model, and user manual or a computer program without associated documentation. Software built by engineering is not manufactured by manufacture or manufacturer. The purpose of the development of software aids is to assist data collection in the process of admission of new students in SD Methodist-5 Pagar Alam. The process of data collection applied in SD Methodist-5 Pagar Alam is by using conventional method, that is by recording data process of new student acceptance which still using ledger, so that in process of data searching and report making can take a long time. Software development model used in this research is waterfall model that includes: System Engineering, Requirement analysis, Design, Coding, Testing and Maintenance.

APA, Harvard, Vancouver, ISO, and other styles

36

Önnerth, T. B., M. K. Nielsen, and C. Stamer. "Advanced computer control based on real and software sensors." Water Science and Technology 33, no. 1 (January 1, 1996): 237–45. http://dx.doi.org/10.2166/wst.1996.0023.

Full text

Abstract:

The introduction of state-of-the-art on-line meters is the first step towards achieving more intelligent operation of wastewater treatment plants as the directly involved parameters are known. The use of these on-line measurements is dependent on the reliability of the data, which is the control system STAR, Superior Tuning and Reporting, is secured by DQC, Data Quality Control. With reliable measurements combined with selected operational data, it is possible to identify process relations and implement on-line control strategies such as those performed by STAR today in oxygen set point control, intermittent aeration control and recirculation control. Some of the STAR control functions are based on a certain kind of calculations described as software sensors, where information is achieved from qualified data and statistical data handling. Software sensors give an improved basis for on-line control strategies. These model-based “sensors” are available in an advanced process control systems such as STAR. The results compiled at the Sydkysten WWTP show that the introduction of STAR control affords larger economies than expected. Today, the amount of energy consumed at the plant has been reduced by 30% and the dosing of carbon for denitrification by 100%. The economies achieved run into approx. DKK 470,000 per year and the new expense relating to the operation and maintenance of meters is, by comparison, DKK 55,000.

APA, Harvard, Vancouver, ISO, and other styles

37

Xia, Ming Fei, Yu Ming Bo, and Shi You Fan. "Research on the Teaching System Development of Maintenance Training for General-Purpose Electronic Equipment." Advanced Materials Research 271-273 (July 2011): 1629–32. http://dx.doi.org/10.4028/www.scientific.net/amr.271-273.1629.

Full text

Abstract:

Development maintenance training for electronic equipment is the important way to solve the difficult of electronic equipment maintenance and problem of iridescent method of maintenance training. The technical characteristics of the maintenance system for electronic equipment are analyzed in this paper. A maintenance training teaching system for electronic equipment with unity hardware and common software platform is researched. The hardware structure and the development method of its software are discussed in this paper. The teaching system possesses characters such as real physics signal，multi method of human-computer interaction ，well results of learning best，easy to development，etc. The teaching system is mainly composed of the following: motherboard, equipment operation panel, equipment component, lights and buttons etc. Its software is based on a common database. When we need development a teaching system for new equipment, we just add some data to the database using the development platform and need not modify its software. Practice shows that the teaching system uses a common hardware design and software platform, greatly reducing the development workload of a new teaching system using the architecture.

APA, Harvard, Vancouver, ISO, and other styles

38

Shen, Jian Wei, Wei Min Su, Xiao Rong Lv, and Xiao Xia Huang. "The Software Design of Intelligent Diagnosis System for Partial Discharge Fault of GIS." Advanced Materials Research 756-759 (September 2013): 365–71. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.365.

Full text

Abstract:

The correct identification of GIS partial discharge type is essential for assessing the insulation status of GIS and developing a reasonable maintenance strategy. After the analysis of the intelligent diagnosis system design, the software architecture of host and remote computer is given by this article. Site host computer completes the data preprocessing and the remote host computer completes the function of real-time observation, data storage and inquiry, spectrum analysis and pattern recognition. The test shows that the software can complete the intelligent recognition of partial discharge.

APA, Harvard, Vancouver, ISO, and other styles

39

Błachnio, Józef. "Capabilities to Assess Health/Maintenance Status of Gas Turbine Blades with Non-Destructive Methods." Polish Maritime Research 21, no. 4 (January 31, 2015): 41–47. http://dx.doi.org/10.2478/pomr-2014-0040.

Full text

Abstract:

Abstract The paper has been intended to discuss non-destructive testing methods and to present capabilities of applying them to diagnose objectively changes in the microstructure of a turbine blade with computer software engaged to assist with the analyses. The following techniques are discussed: a visual method, based on the processing of images of the material surface in visible light, active thermography, based on the detection of infrared radiation, and the X-ray computed tomography. All these are new non-destructive methods of assessing technical condition of structural components of machines. They have been intensively developed at research centers worldwide, and in Poland. The computer-aided visual method of analyzing images enables diagnosis of the condition of turbine blades, without the necessity of dismantling of the turbine. On the other hand, the active thermography and the X-ray computed tomography, although more sensitive and more reliable, can both be used with the blades dismounted from the turbine. If applied in a complex way, the non-destructive methods presented in this paper, are expected to increase significantly probability of detecting changes in the blade's condition, which in turn would be advantageous to reliability and safety of gas turbine service.

APA, Harvard, Vancouver, ISO, and other styles

40

Ren, Yan Xi, Xiao Qiang Yang, Qing Xia Li, and Jun Da Chen. "Fault Diagnosis System of Engineering Equipment's Electrical System Using Dedicated Interface Adapter Unit." Key Engineering Materials 567 (July 2013): 155–60. http://dx.doi.org/10.4028/www.scientific.net/kem.567.155.

Full text

Abstract:

The development of fault detection and diagnosis system is accomplished with the application of PXI interface technology, modular instrument and signal processing technology. The total technical scheme of host computer, portable test platform, signal adapter unit, test interface and cable together with peripheral components is introduced in the presented system. Consequently, the hardware includes master computer (fault test and diagnosis platform), PXI-bus data acquisition system, signal interface adapter, power supply system, interface unit, connection cable and peripheral dedicated test equipments. And the software is developed by C and LabWindows/CVI based on Win32 operating system. In addition, the modular and object-oriented programming are adopted in the software development. The software consists of three parts: the master program running on test and diagnosis platform, the client software module on signal adapter unit as well as the remote interface software module. It can implement fault detection of electrical system on replaceable circuit board and block of the hydraulic system or electrical system. So it can help equipment repairmen and operator perform quick repairs and maintenance to the electrical system for engineering equipment.

APA, Harvard, Vancouver, ISO, and other styles

41

Yuslena Sari and Irfan Prasetia. "SISTEM INFORMASI MANAJEMEN BERBASIS UML (STUDI KASUS PEMELIHARAAN TOILET PADA KAMPUS FAKULTAS TEKNIK UNIVERSITAS LAMBUNG MANGKURAT)." Jurnal Teknologi Informasi Universitas Lambung Mangkurat (JTIULM) 1, no. 2 (December 13, 2016): 59. http://dx.doi.org/10.20527/jtiulm.v1i2.8.

Full text

Abstract:

This paper presents concept of a database system on a computer software systems. Requirements in analysis and design are a serious problem in developing a manual system into a computer software system that is fully automated. To link the two systems (manual and automatic), a modeling language Unified Modeling Language (UML) is now accepted as the de facto standard for the design and specification of object-oriented systems. In this study, ULM modeling language used to design a management information system (MIS) of Toilet Maintenance on the Faculty of Engineering, Lambung Mangkurat University using Access 2013. From this system, dean as admin of the system, can immediately know the damage or the need of maintenance in real time every day. Such information would greatly assist the management on making decision related to monitoring, maintenance and repair of toilet in the Faculty of Engineering, Lambung Mangkurat University. The final results is to keep the cleanliness and reliability of toilet in the Faculty of Engineering, Lambung Mangkurat University.

APA, Harvard, Vancouver, ISO, and other styles

42

Rahman, Hanif Ur, Mushtaq Raza, Palwasha Afsar, Mukhtaj Khan, Nadeem Iqbal, and Habib Ullah Khan. "Making the Sourcing Decision of Software Maintenance and Information Technology." IEEE Access 9 (2021): 11492–510. http://dx.doi.org/10.1109/access.2021.3051023.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Sanni*, Rachana R., and H. S. Guruprasad. "Hospital Management using OAM [Operation Administration & Maintenance] Tool." International Journal of Innovative Technology and Exploring Engineering 10, no. 10 (August 30, 2021): 24–30. http://dx.doi.org/10.35940/ijitee.j9391.08101021.

Full text

Abstract:

This paper proposes a software tool to monitor the system configuration for Hospital Management System. The OAM tool monitors the system configurations after the user installs it into the system. The aim of this software is to monitor the system about its configurations and install the required softwares to the respective system. There are four tools in this application, Fintal, Piston, Naavi and Mapel. To install these, a technique of single file installation using batch scripting is used. Batch scripting is used to execute the installation files of softwares and the softwares are installed. These installation files of softwares will be embedded as execution commands in a single file called “windows batch file”, which should be saved with the extension as “.bat”. The installation that starts will be displayed in the command prompt to know whether the softwares are getting installed correctly. After each installation, the configuration and initialization of installed softwares will be displayed. The required softwares are to be installed. Each of these performs particular tasks that are required for the management of Hospitals. Fintal is used for overall management of Hospital. This is the most user-friendly part of OAM Tool. This handles overall administrative part of Hospitals. Piston is used for storing patient’s details. This stores the patients’ reports in detailed manner of each test the patient has undergone. Naavi is used for storing Laboratory details. The tests of each patient are stored here. And the last one, i.e., Mapel which is used for storing pharmaceuticals details (Medicines). It stores the details of medicines such as from which pharmaceuticals the medicines are purchased. The license of the hospital is also stored in this part of OAM Tool. All these together form an OAM Tool. This tool also manages other required softwares like, MySQL, ODBC drivers, etc. The management of Hospitals is very important as there is a need to maintain the patient details. This technique of installation is proposed in this paper to make the installation from hardware to remote installation such as, giving the access to the system in which the tool needs to be installed and to save the time of installation process.

APA, Harvard, Vancouver, ISO, and other styles

44

Ashayeri, J. "Development of computer-aided maintenance resources planning (CAMRP): A case of multiple CNC machining centers." Robotics and Computer-Integrated Manufacturing 23, no. 6 (December 2007): 614–23. http://dx.doi.org/10.1016/j.rcim.2007.02.018.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Cowling, James Austin, and Wendy K. Ivins. "Assessing the Potential Improvement an Open Systems Development Perspective Could Offer to the Software Evolution Paradigm." International Journal of Information Technologies and Systems Approach 9, no. 2 (July 2016): 68–87. http://dx.doi.org/10.4018/ijitsa.2016070105.

Full text

Abstract:

Emerging stakeholder needs and a changing environment drive increasing demands for the constant adaption of software through maintenance and new capability development. A more evolutionary software engineering approach is sought to improve engineering responsiveness; Open System Development appears to offer a partial contribution but presents many challenges. This exploratory research proposes a new definition of the evolution of complex engineered systems, building on the essential features of ‘openness' described by Cowling et al (2014) and Lehman's (1980) ideas of evolutionary software. Using Checkland's (1999) Soft System Methodology enabled a structured literature review and analysis of the relative contributions of three divergent methodologies to the success of systems outcomes. These methodologies are: Plan-Driven, Agile, and Open Source Software Development. The analysis reveals several opportunities and highlights the critical issue of determining return on investment which needs to be overcome if an open approach is to contribute to evolutionary software engineering.

APA, Harvard, Vancouver, ISO, and other styles

46

Dohi, Tadashi, Naoto Kaio, and Shunji Osaki. "Optimal Software Release Policies with Debugging Time Lag." International Journal of Reliability, Quality and Safety Engineering 04, no. 03 (September 1997): 241–55. http://dx.doi.org/10.1142/s0218539397000175.

Full text

Abstract:

This paper presents a new stochastic model for determining the optimal release time for a computer software in testing phase, taking account of the debugging time lag. In the earlier works, most of software release models were considered, but it was assumed that an error detected can be removed instantaneously. In other words, none discussed quantitatively the effect of the software maintenance action in the optimal software release time. Main purpose of this work is to relate the optimal software release policy with the arrival-service process on the software operation phase by users. We use the Non-Homogeneous Poisson Process (NHPP) type of software reliability growth models as the software error detection phenomena and obtain the optimal software release policies minimizing the expected total software costs. As a result, the usage circumstance of a software in operation phase gives a monotone effect to the software release planning.

APA, Harvard, Vancouver, ISO, and other styles

47

Damasevicius, Robertas, and Vytautas Stuikys. "Metrics for evaluation of metaprogram complexity." Computer Science and Information Systems 7, no. 4 (2010): 769–87. http://dx.doi.org/10.2298/csis090315004d.

Full text

Abstract:

The concept of complexity is used in many areas of computer science and software engineering. Software complexity metrics can be used to evaluate and compare quality of software development and maintenance processes and their products. Complexity management and measurement is especially important in novel programming technologies and paradigms, such as aspect-oriented programming, generative programming, and metaprogramming, where complex multilanguage and multi-aspect program specifications are developed and used. This paper analyzes complexity management and measurement techniques, and proposes five complexity metrics (Relative Kolmogorov Complexity, Metalanguage Richness, Cyclomatic Complexity, Normalized Difficulty, Cognitive Difficulty) for measuring complexity of metaprograms at information, metalanguage, graph, algorithm, and cognitive dimensions.

APA, Harvard, Vancouver, ISO, and other styles

48

Zarrin, Mansour, and Ali Azadeh. "Simulation optimization of lean production strategy by considering resilience engineering in a production system with maintenance policies." SIMULATION 93, no. 1 (September 29, 2016): 49–68. http://dx.doi.org/10.1177/0037549716666682.

Full text

Abstract:

Lean production aims are to reduce work-in-process and maintain close to zero inventories and resilience is about reacting quickly to disruptions impacting manufacturing systems. In this study, a manufacturing organization with maintenance strategy is simulated to evaluate the impacts of resilience engineering (RE) principles on lean practices. The process of simulation is conducted for different scenarios. Each scenario includes a set of resilience principles. Using computer simulation, many outputs are calculated namely, utility and availability of machines and maintenance operators, time in system, total cost, and number of failures. The optimal values of scenarios’ efficiencies are achieved using data envelopment analysis (DEA) model, which is a mathematical programming approach. The results of the DEA are validated by using principal component analysis. In addition, an analysis is performed to determine which factor of RE has the maximum effect on the system’s performance. The results show that the redundancy among the RE principles, has the maximum impact on the system’s performance. To the best of my knowledge, this is the first study that evaluates the performance of lean production considering RE in a production line with maintenance policies.

APA, Harvard, Vancouver, ISO, and other styles

49

MARIE VANS, A., ANNELIESE VON MAYRHAUSER, and GABRIEL SOMLO. "Program understanding behavior during corrective maintenance of large-scale software." International Journal of Human-Computer Studies 51, no. 1 (July 1999): 31–70. http://dx.doi.org/10.1006/ijhc.1999.0268.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

KURIHARA, MASAHITO, HISASHI KONDO, and AZUMA OHUCHI. "USING ATMS TO EFFICIENTLY VERIFY THE TERMINATION OF REWRITE RULE PROGRAMS." International Journal of Software Engineering and Knowledge Engineering 02, no. 04 (December 1992): 547–65. http://dx.doi.org/10.1142/s0218194092000257.

Full text

Abstract:

Assumption-based truth maintenance systems (ATMS) have become powerful and widely used tools in artificial intelligence problem solvers. In this paper, we apply ATMS to verification of termination of computer programs written as a set of rewrite rules. Compared with the traditional methods based on the ordinary backtracking, our method can greatly improve the overall efficiency by virtue of the ATMS's ability to avoid futile backtracking, rediscovering inferences, and rediscovering contradictions. The originality of our work lies in the practical use of the ATMS in a software engineering problem and in the communication protocol between the termination verifier and the ATMS.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Software maintenance. Computer-aided software engineering'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles