Journal articles: 'AUTOMATED SOFTWARE ENGINEERING'

1

Jackson, Michael. "Automated software engineering: supporting understanding." Automated Software Engineering 15, no. 3-4 (August 21, 2008): 275–81. http://dx.doi.org/10.1007/s10515-008-0034-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Crnkovic, Ivica, Heinz W. Schmidt, Judith Stafford, and Kurt Wallnau. "Automated Component-Based Software Engineering." Journal of Systems and Software 74, no. 1 (January 2005): 1–3. http://dx.doi.org/10.1016/j.jss.2003.11.016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Carver, Jeffrey C., and Alexander Serebrenik. "Software Maintenance and Evolution and Automated Software Engineering." IEEE Software 35, no. 2 (March 2018): 102–4. http://dx.doi.org/10.1109/ms.2018.1661318.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

He, Shilin, Pinjia He, Zhuangbin Chen, Tianyi Yang, Yuxin Su, and Michael R. Lyu. "A Survey on Automated Log Analysis for Reliability Engineering." ACM Computing Surveys 54, no. 6 (July 2021): 1–37. http://dx.doi.org/10.1145/3460345.

Full text

Abstract:

Logs are semi-structured text generated by logging statements in software source code. In recent decades, software logs have become imperative in the reliability assurance mechanism of many software systems, because they are often the only data available that record software runtime information. As modern software is evolving into a large scale, the volume of logs has increased rapidly. To enable effective and efficient usage of modern software logs in reliability engineering, a number of studies have been conducted on automated log analysis. This survey presents a detailed overview of automated log analysis research, including how to automate and assist the writing of logging statements, how to compress logs, how to parse logs into structured event templates, and how to employ logs to detect anomalies, predict failures, and facilitate diagnosis. Additionally, we survey work that releases open-source toolkits and datasets. Based on the discussion of the recent advances, we present several promising future directions toward real-world and next-generation automated log analysis.

APA, Harvard, Vancouver, ISO, and other styles

5

PAGE, REX. "Engineering Software Correctness." Journal of Functional Programming 17, no. 6 (November 2007): 675–86. http://dx.doi.org/10.1017/s095679680700634x.

Full text

Abstract:

AbstractDesign and quality are fundamental themes in engineering education. Functional programming builds software from small components, a central element of good design, and facilitates reasoning about correctness, an important aspect of quality. Software engineering courses that employ functional programming provide a platform for educating students in the design of quality software. This pearl describes experiments in the use of ACL2, a purely functional subset of Common Lisp with an embedded mechanical logic, to focus on design and correctness in software engineering courses. Students find the courses challenging and interesting. A few acquire enough skill to use an automated theorem prover on the job without additional training. Many students, but not quite a majority, find enough success to suggest that additional experience would make them effective users of mechanized logic in commercial software development. Nearly all gain a new perspective on what it means for software to be correct and acquire a good understanding of functional programming.

APA, Harvard, Vancouver, ISO, and other styles

6

Gileva, L. Yu, N. A. Spirin, V. Yu Rybolovlev, A. V. Krasnobaev, and I. E. Kosachenko. "Software for automated engineering workstations at blast furnaces." Steel in Translation 39, no. 12 (December 2009): 1060–63. http://dx.doi.org/10.3103/s0967091209120055.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Chechik, Marsha, and Paul Grünbacher. "Guest editorial: selected areas in automated software engineering." Automated Software Engineering 25, no. 1 (August 16, 2017): 45–46. http://dx.doi.org/10.1007/s10515-017-0222-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Grunske, Lars, and Mike Whalen. "Guest editorial: advanced topics in automated software engineering." Automated Software Engineering 25, no. 4 (September 21, 2018): 743–44. http://dx.doi.org/10.1007/s10515-018-0245-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Carrillo de Gea, Juan Manuel, Joaquín Nicolás, José L. Fernández-Alemán, and Ambrosio Toval. "Automated support for reuse-based requirements engineering in global software engineering." Journal of Software: Evolution and Process 29, no. 8 (May 3, 2017): e1873. http://dx.doi.org/10.1002/smr.1873.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Alexander, Ian. "Ian Alexander: Column for the Automated Software Engineering Journal." Automated Software Engineering 14, no. 3 (August 22, 2007): 365–68. http://dx.doi.org/10.1007/s10515-007-0014-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Bultan, Tevfik, and Andreas Zeller. "Guest editorial: emerging areas in automated software engineering research." Automated Software Engineering 24, no. 4 (August 31, 2017): 863–64. http://dx.doi.org/10.1007/s10515-017-0223-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Chua, Fang-Fang, Tek-Yong Lim, Bushra Tajuddin, and Amarilis Putri Yanuarifiani. "Incorporating Semi-Automated Approach for Effective Software Requirements Prioritization: A Framework Design." Journal of Informatics and Web Engineering 1, no. 1 (March 16, 2022): 1–15. http://dx.doi.org/10.33093/jiwe.2022.1.1.1.

Full text

Abstract:

Software Requirements Prioritization (SRP) is one of the crucial processes in software requirements engineering. It presents a challenging task to decide among the pool of requirements and the variance of the stakeholder’s needs in prioritizing requirements. Semi-automated requirements prioritization is implemented in both manual and automatic processes. When prioritizing requirements, these aspects such as importance, time, cost and risk, should be taken into account. The emergence of machine learning is advancing to improve and automate the SRP process whereby decision making can be performed with minimal human intervention. Incorporating machine learning approaches in prioritization techniques can be implemented in the ranking process and classifying the priority group of the software requirements. A Semi-Automated Requirements Prioritization framework (SARiP), which implements semi-automatic process in requirements prioritization is proposed. SARiP concentrates on the areas related to prediction of requirements priority group and ranks requirements using classification tree and ranking algorithm. SARiP has been successfully evaluated in the government sector domain by the i-Tegur team from the Department of Information Technology, Ministry of Housing and Local Government of Malaysia (KPKT). 80% of the participants agreed that SARiP is extremely likely to help the participants in prioritizing the requirements for their projects. All participants agreed that SARiP is reliable and useful. Recording the requirements and results for the prioritization will be considered for future work and traceability function will be included to trace the requirements changes.

APA, Harvard, Vancouver, ISO, and other styles

13

Mlynarski, Mark, Jay A. Puckett, Chad M. Clancy, Brian L. Goodrich, Mark C. Jablin, William Smyers, and Ken Wilson. "Bridge Software Validation Guidelines and Examples." Transportation Research Record: Journal of the Transportation Research Board 1696, no. 1 (January 2000): 143–51. http://dx.doi.org/10.3141/1696-17.

Full text

Abstract:

NCHRP 12-50 is a research project to investigate current software validation procedures and to provide an improved method of verifying bridge design and analysis software. The removal of errors in bridge design and analysis software has a far-reaching impact on safety assurance in the design and rating of bridges. Bridge engineers are relying on automated computations at an increasing rate. Automation of bridge computations is now an integral part of routine practice. In theory, this software should be error free—yet perfect software remains elusive. The number of bridge types and geometric configurations, materials, and loadings creates a large solution domain that must be addressed. The validation method currently being developed involves the automated generation of a series of test suites. Each test suite will contain input files for several analysis engines (software packages) and the results of the analyses and designs performed by these engines. The automatic generation of input files for a particular software package enables thousands of different cases to be created in a matter of minutes. Similarly, the output from the engines can be compared automatically using database or spreadsheet software. Each problem generated will have slightly varying input parmeters. The goal is to increment the various input parameters to test as many articles of the LRFD Specifications as possible. This novel, systematic, and automated approach provides guidelines that can be applied to a host of computational processes associated with bridge engineering, specification development, and software maintenance. Some examples are presented to illustrate the process.

APA, Harvard, Vancouver, ISO, and other styles

14

Sharma, Dr Anand. "An Experimental Study of Software Engineering Model for an Large Industry Automation Design." International Journal on Recent and Innovation Trends in Computing and Communication 8, no. 12 (December 31, 2020): 05–07. http://dx.doi.org/10.17762/ijritcc.v8i12.5506.

Full text

Abstract:

This paper will explain that how the traditional software development models can be used to automate the tasks in large scale industries. Using the SDLC approach, the development of the system can be automated which will save a lot of time and efforts which can be utilised for other crucial tasks. This paper will also brief the life cycle of automation. The advantages and challenges of the implementation of the automation software development will also be explained.

APA, Harvard, Vancouver, ISO, and other styles

15

Selvaraj, Yuvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Wolfgang Ahrendt, and Martin Fabian. "Automatically Learning Formal Models from Autonomous Driving Software." Electronics 11, no. 4 (February 18, 2022): 643. http://dx.doi.org/10.3390/electronics11040643.

Full text

Abstract:

The correctness of autonomous driving software is of utmost importance, as incorrect behavior may have catastrophic consequences. Formal model-based engineering techniques can help guarantee correctness and thereby allow the safe deployment of autonomous vehicles. However, challenges exist for widespread industrial adoption of formal methods. One of these challenges is the model construction problem. Manual construction of formal models is time-consuming, error-prone, and intractable for large systems. Automating model construction would be a big step towards widespread industrial adoption of formal methods for system development, re-engineering, and reverse engineering. This article applies active learning techniques to obtain formal models of an existing (under development) autonomous driving software module implemented in MATLAB. This demonstrates the feasibility of automated learning for automotive industrial use. Additionally, practical challenges in applying automata learning, and possible directions for integrating automata learning into the automotive software development workflow, are discussed.

APA, Harvard, Vancouver, ISO, and other styles

16

sawan, Vikas, Soumya upadhyay, and Renu Bahuguna. "PERSONAL THOUGHTS ON AUTOMATION, PROGRAMMING CULTURE, AND MODELBASED SOFTWARE ENGINEERING." International Journal of Engineering Applied Sciences and Technology 7, no. 6 (October 1, 2022): 420–27. http://dx.doi.org/10.33564/ijeast.2022.v07i06.051.

Full text

Abstract:

When compared to more conventional development techniques, model-based software engineering (MBSE), a methodology for developing software, is characterized in part by much higher levels of automation. Many important components of development involve the use of computer-based tools, such as authoring support (many MBSE languages are primarily visual), automatic or semi-automatic verification, the automated conversion of requirements into corresponding programmers, and many more. There is little question that automation, when correctly designed and achieved, may significantly boost the productivity of software developers and improve the quality of their programme, given the historical examples, such as the advent of compilation technology. Therefore, it becomes sense to predict that MBSE will swiftly overtake other software development methods, much to how computer-aided design methods for hardware were quickly adopted. However, this hasn't happened. This is an opinion piece that draws from the author's extensive knowledge of MBSE and its use in business. In it, we look at the factors that led to this paradoxical situation.

APA, Harvard, Vancouver, ISO, and other styles

17

Cooper, Kendra M. L., Fabio Petrillo, Yann-Gaël Guéhéneuc, and Cristiano Politowski. "ASE4Games 2021 Workshop Summary." ACM SIGSOFT Software Engineering Notes 47, no. 2 (April 25, 2022): 10–11. http://dx.doi.org/10.1145/3520273.3520277.

Full text

Abstract:

The first edition of the workshop on Automated Software Engineering For Games (ASE4Games 2021) was held virtually on November 14th, 2021, co-located with the 36v IEEE/ACM International Conference on Automated Software Engineering (ASE 2021). Five papers from all over the world were submitted, two full-papers and two short-papers were accepted. The program also featured a keynote by Mathieu Nayrolles, researcher at Ubisoft, entitled Automated Software Engineering for AAA Games.

APA, Harvard, Vancouver, ISO, and other styles

18

Melli, R. "Automated software project planning and control." Annual Review in Automatic Programming 14 (January 1988): 1–7. http://dx.doi.org/10.1016/0066-4138(90)90001-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Duncan, M., and D. Williams. "Software tools for automated manufacturing cells." Robotics 3, no. 3-4 (September 1987): 283–89. http://dx.doi.org/10.1016/0167-8493(87)90049-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

LOTT, CHRISTOPHER M. "MEASUREMENT SUPPORT IN SOFTWARE ENGINEERING ENVIRONMENTS." International Journal of Software Engineering and Knowledge Engineering 04, no. 03 (September 1994): 409–26. http://dx.doi.org/10.1142/s0218194094000209.

Full text

Abstract:

The use of empirical data to understand and improve software products and software engineering processes is gaining ever increasing attention. Empirical data from products and processes is needed to help an organization understand and improve its way of doing business in the software domain. Additional motivation for collecting and using data is provided by the need to conform to guidelines and standards which mandate measurement, specifically the SEI’s Capability Maturity Model and ISO 9000–3. Some software engineering environments (SEEs) offer automated support for collecting and, in a few cases, using empirical data. Measurement will clearly play a significant role in future SEEs. The paper surveys the trend towards supporting measurement in SEEs and gives details about several existing research and commercial software systems.

APA, Harvard, Vancouver, ISO, and other styles

21

Cheng, Yu, Hong Wei Zhao, Song Wang, Wei Lv, and Tao Sun. "A Software Design of Data Acquisition System Based on Optimal Control AMT." Advanced Materials Research 765-767 (September 2013): 1969–73. http://dx.doi.org/10.4028/www.scientific.net/amr.765-767.1969.

Full text

Abstract:

As the developing of the automatic manipulate control technique of automobile, the research and development of Automated Transmission have abstracted more and more attention. In numerous Automated Transmission productions, AMT (Automated Mechanical Transmission) plays an absolutely important role. This system is a AMT data collection system based on electro-hydraulic control. According to the design of the system software program, we can collect and analyze the data of driving, and then mark the electro-hydraulic valve. This paper designs and realizes the total structure of data collection and processing system, analyses and designs the function of all modules elaborately. It is the summary of the front period work of the whole AMT system, and is the foundation of the work of function realization and running and debugging of AMT system.

APA, Harvard, Vancouver, ISO, and other styles

22

Taramaa, Jorma, Raino Lintulampi, and Veikko Seppänen. "Automated assembly of machine control software." Mechatronics 4, no. 7 (October 1994): 753–69. http://dx.doi.org/10.1016/0957-4158(94)90035-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Saputri, Theresia Ratih Dewi, and Seok-Won Lee. "Software Analysis Method for Assessing Software Sustainability." International Journal of Software Engineering and Knowledge Engineering 30, no. 01 (January 2020): 67–95. http://dx.doi.org/10.1142/s0218194020500047.

Full text

Abstract:

Software sustainability evaluation has become an essential component of software engineering (SE) owing to sustainability considerations that must be incorporated into software development. Several studies have been performed to address the issues associated with sustainability concerns in the SE process. However, current practices extensively rely on participant experiences to evaluate sustainability achievement. Moreover, there exist limited quantifiable methods for supporting software sustainability evaluation. Our primary objective is to present a methodology that can assist software engineers in evaluating a software system based on well-defined sustainability metrics and measurements. We propose a novel approach that combines machine learning (ML) and software analysis methods. To simplify the application of the proposed approach, we present a semi-automated tool that supports engineers in assessing the sustainability achievement of a software system. The results of our study demonstrate that the proposed approach determines sustainability criteria and defines sustainability achievement in terms of a traceable matrix. Our theoretical evaluation and empirical study demonstrate that the proposed support tool can help engineers identify sustainability limitations in a particular feature of a software system. Our semi-automated tool can identify features that must be revised to enhance sustainability achievement.

APA, Harvard, Vancouver, ISO, and other styles

24

EGYED, ALEXANDER, and PAUL GRÜNBACHER. "SUPPORTING SOFTWARE UNDERSTANDING WITH AUTOMATED REQUIREMENTS TRACEABILITY." International Journal of Software Engineering and Knowledge Engineering 15, no. 05 (October 2005): 783–810. http://dx.doi.org/10.1142/s0218194005002464.

Full text

Abstract:

Requirements traceability (RT) aims at defining and utilizing relationships between stakeholder requirements and artifacts produced during the software development life-cycle and provides an important means to foster software understanding. Although techniques for generating and validating traceability information are available, RT in practice often suffers from the enormous effort and complexity of creating and maintaining traces. This results in invalid or incomplete trace information which cannot support engineers in real-world problems. In this paper we present a tool-supported approach that requires the designer to specify some trace dependencies but eases trace acquisition by generating others automatically. We illustrate the approach using a video-on-demand system and show how the generated traces can be used in various engineering scenarios to improve software understanding. In a case study using an open source software application we demonstrate that the approach is capable of dealing with large-scale systems and delivers valid results.

APA, Harvard, Vancouver, ISO, and other styles

25

Heimdahl, Mats P. E., and Gabriele Taentzer. "Guest editorial: special issue on selected topics in automated software engineering." Automated Software Engineering 18, no. 3-4 (May 11, 2011): 225–26. http://dx.doi.org/10.1007/s10515-011-0087-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Grundy, John, and John Hosking. "Guest editors introduction: special issue on innovative automated software engineering tools." Automated Software Engineering 20, no. 2 (February 9, 2013): 137–39. http://dx.doi.org/10.1007/s10515-013-0121-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Richter, Jan H. "Control education in the software age." at - Automatisierungstechnik 70, no. 1 (January 1, 2022): 3–12. http://dx.doi.org/10.1515/auto-2021-0142.

Full text

Abstract:

Abstract According to a commonplace saying, software is eating the world. Is software also eating control engineering? Software is currently transforming many industries including but not limited to automotive aiming at automated mobility services, agriculture moving to Agriculture 4.0, and factory automation with Industry 4.0. Software is simultaneously a flexible and universal functions enabler, and a driver of engineering complexity. At times, it seems that control engineers and software engineers are not understanding each other well enough. This article discusses two key engineering domains adjacent to control, systems and software engineering, covering engineering practice, design data exchange, and education. Finally, it suggests an extension to academic control curricula help to make control graduates even better team players.

APA, Harvard, Vancouver, ISO, and other styles

28

Zhao, Jian Ping, Xiao Yang Liu, Hong Ming Xi, Li Ya Xu, Jian Hui Zhao, and Huan Ming Liu. "A Lightweight-Leveled Software Automated Test Framework." Advanced Materials Research 834-836 (October 2013): 1919–24. http://dx.doi.org/10.4028/www.scientific.net/amr.834-836.1919.

Full text

Abstract:

To resolve the problem of a large amount of automated test scripts and test data files, through the test tool QTP, data-driven and keyword-driven testing mechanism, a test automation framework based on three layer data-driven mechanism is designed, including the design of the TestSet managing test case files, the design of the TestCase storing test cases and the design of the TestData storing test data.Through controlling the test scale and applying the test data pool, reconfigurable and optimization of test scripts are designed. The methods above can decouple the test design and the script development, make test cases and data show a more humane design, make test scripts and test data on the business level optimized and reusable, and make the number of script files and the test data files reache a minimum, which reduces the occupied space.

APA, Harvard, Vancouver, ISO, and other styles

29

Prabowo, Harjanto, Ford Lumban Gaol, and Ahmad Nizar Hidayanto. "Comparison of the System Development Life Cycle and Prototype Model for Software Engineering." International Journal of Emerging Technology and Advanced Engineering 12, no. 4 (April 2, 2022): 155–62. http://dx.doi.org/10.46338/ijetae0422_19.

Full text

Abstract:

The concept of system lifecycle models was born, emphasizing the importance of adhering to them. Some methodical technique to developing a new or improved system Several models were suggested, including the waterfall model, the V-shaped model, the iterative model, the spiral model, and the Bing bang model are all examples of models., etc. The comparative analysis is the emphasis of this paper. These Software Development Life Cycle Models were examined. Organizations' operations are expanding, and the need to automate certain processes has grown. As a result, it was thought that standard and structural technique, or It is suggested that a methodology be established in the industry so that the transition from a manual to an automated system may be made as smoothly as possible. Keywords—SDLC Model, Comparative, methodology, developing model

APA, Harvard, Vancouver, ISO, and other styles

30

Savidis, Anthony, and Constantine Stephanidis. "Automated user interface engineering with a pattern reflecting programming language." Automated Software Engineering 13, no. 2 (April 2006): 303–39. http://dx.doi.org/10.1007/s10515-006-7740-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Islam, Shuvo, Avishek Bose, Christopher A. Jones, Mustaque Hossain, and Cristopher I. Vahl. "Developing an Automated Technique to Calibrate the AASHTOWare Pavement ME Design Software." Transportation Research Record: Journal of the Transportation Research Board 2674, no. 9 (July 7, 2020): 867–77. http://dx.doi.org/10.1177/0361198120932567.

Full text

Abstract:

Many state highway agencies are in the process of implementing the AASHTOWare Pavement ME Design (PMED) software for routine pavement design. However, a recurring implementation challenge has been the need to locally calibrate the software to reflect an agency’s design and construction practices, materials, and climate. This study introduced a framework to automate the calibration processes of the PMED performance models. This automated technique can search PMED output files and identify relevant damages/distresses for a project on a particular date. After obtaining this damage/distress information, the technique conducts model verification with the global calibration factors. Transfer function coefficients are then automatically derived following an optimization technique and numerical measures of goodness-of-fit. An equivalence statistical testing approach is conducted to ensure predicted performance results are in agreement with the measured data. The automated technique allows users to select one of three sampling approaches: split sampling, jackknifing, or bootstrapping. Based on the sampling approach chosen, the automated technique provides the calibration coefficients or suitable ranges for the coefficients and shows the results graphically. Model bias, standard error, sum squared error, and p-value from the paired t-test are also reported to assess efficacy of the calibration process.

APA, Harvard, Vancouver, ISO, and other styles

32

Weiß, Nils, Enrico Pozzobon, Jurgen Mottok, and Václav Matoušek. "Automated Reverse Engineering of CAN Protocols." Neural Network World 31, no. 4 (2021): 279–95. http://dx.doi.org/10.14311/nnw.2021.31.015.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Shin, Jong Gye, Cheol Ho Ryu, Jang Hyun Lee, and Won Don Kim. "User-Friendly, Advanced Line Heating Automation for Accurate Plate Forming." Journal of Ship Production 19, no. 01 (February 1, 2003): 8–15. http://dx.doi.org/10.5957/jsp.2003.19.1.8.

Full text

Abstract:

A fully automated line heating (LH) process includes a control system (software) and an automated machine (hardware). The software and hardware need to be developed concurrently in order to verify and maximize the efficiency of the new process. However, most shipyards have developed these separately for an automated LH process. The development also involves extensive calculations of computer-aided design, manufacturing, and engineering (CAD/CAM/CAE) information. Thus, it cannot be user friendly for technicians. The objective of this paper is to describe the entire engineering concept for the automation of LH process. Based on the object-oriented methodology, a control system and an automated machine were developed simultaneously. The main function of the control system is to provide real-time heating information to technicians or automated machines. The information includes heating location, torch speed, heating sequence, and other related information. These data are derived from CAD/CAM/CAE applications. With the calculated heating information, the machine provides automated LH tasks and collects relevant information during and after the task. The developed system shows a user-friendly capability for shipyard operators and includes advanced engineering calculations for accurate plate fabrication. A specific example was performed, in order to verify the system. Details of the applications will be described in the paper.

APA, Harvard, Vancouver, ISO, and other styles

34

Sirotsky, A. A. "Software and Mathematical Support of Automated High-precision Laser Calibration System with optically reverse channels." Izvestiya MGTU MAMI 2, no. 2 (January 20, 2008): 157–65. http://dx.doi.org/10.17816/2074-0530-69693.

Full text

Abstract:

The problems of the high-precision and automated control are actual for all branches of modern mechanical engineering. The main control problems in mechanical engineering can be effectively solved only with the use of computer laser measuring systems with two optical the turned channels (LMS TOTC). The following issues are described in the article: the developed program-algorithmic solutions for multi channel precision measuring systems automation (which can be integrated into operating automated control systems of technological processes); software of supervision, gathering, record and storage of the measuring information, and also automated data processing and objects visualization means and controlling methods are considered.

APA, Harvard, Vancouver, ISO, and other styles

35

Staron, Miroslaw, Wilhelm Meding, Ola Söder, and Magnus Bäck. "Measurement and Impact Factors of Speed of Reviews and Integration in Continuous Software Engineering." Foundations of Computing and Decision Sciences 43, no. 4 (December 1, 2018): 281–303. http://dx.doi.org/10.1515/fcds-2018-0015.

Full text

Abstract:

Abstract Continuous integration and continuous software deployment depend on the mix of automated and manual activities. The automated build and test processes are often intertwined with manual reviews and bug-fixing activities. In this paper, we set o to study how these manual and automated activities influence the speed of reviews and integration. We conduct a case study of two companies developing embedded software, measure the time required for reviewing and integrating software code (alias speed), and conduct a workshop to identify factors which explain the quantitative results. Our results show that the measurement of speed is a good alias for calendar time and triggers improvements better than using measures for velocity. We have also found that the distribution of code repositories, frequent reminders and team proximity decrease the time needed to deploy the software. Our findings are that there is a difference in the structure of code repositories between the fast and slow integration cases, which contributes to the debate on the pros and cons of different repository structures in modern companies.

APA, Harvard, Vancouver, ISO, and other styles

36

Yin, Yong Feng, Bin Liu, and Hong Ying Ni. "Design and Application of Real-Time Embedded Software Simulation Testing Object Framework." Advanced Materials Research 143-144 (October 2010): 152–55. http://dx.doi.org/10.4028/www.scientific.net/amr.143-144.152.

Full text

Abstract:

At present, the automated real-time embedded software testing is a hot topic. Automated testing is essentially based on user programming and how to build test script quickly and effectively is one of the key problems to be resolved. In this paper, the object-oriented and framework technologies are introduced into the real-time embedded software testing field and the real-time testing object framework (RT-TOF) is studied firstly. And then, the test script generation process based on RT-TOF is proposed. Furthermore, the design of RT-TOF is put forward. Finally, the test script sample of the avionics embedded software system testing is given. Practical application of RT-TOF in engineering shows that the method proposed in this paper can improve the efficiency of automated testing greatly and the test script based on RT-TOF has better maintainability and reusability.

APA, Harvard, Vancouver, ISO, and other styles

37

Suresh, Krishnan, and Ameya Sirpotdar. "Automated symmetry exploitation in engineering analysis." Engineering with Computers 21, no. 4 (May 19, 2006): 304–11. http://dx.doi.org/10.1007/s00366-006-0021-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Iqbal, Javaid, and Syed Ul Haq. "Automatic Feedback Generation in Software Performance Engineering: A Review." Oriental journal of computer science and technology 10, no. 2 (April 6, 2017): 305–10. http://dx.doi.org/10.13005/ojcst/10.02.08.

Full text

Abstract:

Automation in generation of architectural feedback from performance indexes like probability distributions, mean values and variances has been of interest to the researchers from last decade. It is well established that due to the complexity in interpreting the performance indices obtained from performance analysis of software architecture and short time to the market, an automated approach is vital for acceptance of architecture based software performance engineering approach by software industry. In last decade some work has beendone in this direction. Aim of this paper is to explore the existing research in the field, which will be valuable for researchers looking forward to contributing to this research.

APA, Harvard, Vancouver, ISO, and other styles

39

Zhu, Hong, and Lingzi Jin. "Scenario Analysis in an Automated Tool for Requirements Engineering." Requirements Engineering 5, no. 1 (July 2000): 2–22. http://dx.doi.org/10.1007/pl00010341.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Poulova, Petra, and Blanka Klimova. "Automated Software Testing—A Case Study." Advanced Science Letters 24, no. 4 (April 1, 2018): 2578–81. http://dx.doi.org/10.1166/asl.2018.11009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

TARNAY, KATIE, LÁSZLÓ ZS VARGA, and GYULA CSOPAKI. "PROCONSUL ON THE WAY TO AUTOMATED PROTOCOL ENGINEERING." Journal of Circuits, Systems and Computers 04, no. 01 (March 1994): 1–22. http://dx.doi.org/10.1142/s0218126694000028.

Full text

Abstract:

The analysis, development and testing of communication protocols are complex problems. These tasks can be made easier with protocol development tools, which support the whole protocol development process from specification to testing. They are either stand-alone tools related to a specific protocol engineering function (e.g. validation) or integrated protocol workstations solving several functions. The protocol development tools are usually based on formal description techniques. This paper describes the notion of CAPE (Computer-Aided Protocol Engineering) derived from CASE (Computer-Aided Software Engineering) and presents the PROCONSUL protocol workstation. The intelligent editors of PROCONSUL are described in detail.

APA, Harvard, Vancouver, ISO, and other styles

42

Sowjanya, P. "Computer aided software integrated automated safety system." International Journal of Computer Aided Engineering and Technology 11, no. 4/5 (2019): 561. http://dx.doi.org/10.1504/ijcaet.2019.10020299.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Sowjanya, P. "Computer aided software integrated automated safety system." International Journal of Computer Aided Engineering and Technology 11, no. 4/5 (2019): 561. http://dx.doi.org/10.1504/ijcaet.2019.100456.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Rastgoo, Vahid, Monireh-Sadat Hosseini, and Esmaeil Kheirkhah. "Semantic Web-Based Software Engineering by Automated Requirements Ontology Generation in SOA." International journal of Web & Semantic Technology 5, no. 2 (April 30, 2014): 1–11. http://dx.doi.org/10.5121/ijwest.2014.5201.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Menzies, Tim, and Corina Pasareanu. "Guest editorial: special multi-issue on selected topics in Automated Software Engineering." Automated Software Engineering 22, no. 3 (July 1, 2015): 289–90. http://dx.doi.org/10.1007/s10515-015-0180-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Menzies, Tim, and Corina Pasareanu. "Guest editorial: special multi-issue on selected topics in automated software engineering." Automated Software Engineering 22, no. 4 (July 29, 2015): 437–38. http://dx.doi.org/10.1007/s10515-015-0181-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Hurgin, Roman. "Automated software for hydraulic simulation of pipeline operation." MATEC Web of Conferences 144 (2018): 01017. http://dx.doi.org/10.1051/matecconf/201814401017.

Full text

Abstract:

Design of modern water supply systems of large cities as well as their management via renovation of hydraulic models poses time-consuming tasks to researchers, and coping with this task requires specific approaches. When tackling these tasks, water services companies come across a lot of information about various objects of water infrastructure, the majority of which is located underground. In those cases, modern computer-aided design systems containing various components come to help. These systems help to solve a wide array of problems using existing information regarding pipelines, analysis and optimization of their basic parameters. CAD software is becoming an integral part of water supply systems management in large cities, and its capabilities allow engineering and operating companies to not only collect all the necessary data concerning water supply systems in any given city, but also to conduct research aimed at improving various parameters of these systems, including optimization of their hydraulic properties which directly determine the quality of water. This paper contains the analysis of automated CAD software for hydraulic design and management of city water supply systems in order to provide safe and efficient operation of these water supply systems. Authors select the most suitable software that might be used to provide hydraulic compatibility of old and new sections of water supply ring mains after selective or continuous draw-in renovation and decrease in diameter of distribution networks against the background of water consumption decrease in the cities.

APA, Harvard, Vancouver, ISO, and other styles

48

Chiniwar, Dundesh S., Harsha Alva, Vijay Raghav Varada, Mallikarjuna Balichakra, and Shivashankar Hiremath. "Investigation of Automatic Bed Levelling System for Fused Deposition Modelling 3D Printer Machine." International Journal of Modern Manufacturing Technologies 14, no. 1 (June 20, 2022): 23–32. http://dx.doi.org/10.54684/ijmmt.2022.14.1.23.

Full text

Abstract:

"The current paper describes a new low-cost sensing system that employs a load cell embedded in the tool carriage assembly of an open hardware fused deposition modelling (FDM) 3D printer. The sensor system automates the process of detecting and compensating for inconsistencies in the flatness of the bed's surface relative to the nozzle. A sensor system prototype was implemented in an FDM 3D printer to determine contact between the bed and the tool's nozzle. The system was then used by a software routine in the machine's microcontroller firmware to automate the bed levelling. Finally, an automated bed leveling system was observed and analyzed its behavior. The sensor system and the Automatic Bed Levelling (ABL) process are evaluated by observing the bed surface obtained via a load cell bed probe. From the machine controller, the ABL process takes 75 seconds. The bed levelling system uses the load cell probe to automate the manual bed levelling process, saving time. The current work reduces error and improves the efficiency of 3D printer operation. It also reduces the amount of time needed to operate and improves print quality. "

APA, Harvard, Vancouver, ISO, and other styles

49

Roldan-Molina, Gabriela R., Jose R. Mendez, Iryna Yevseyeva, and Vitor Basto-Fernandes. "Ontology Fixing by Using Software Engineering Technology." Applied Sciences 10, no. 18 (September 11, 2020): 6328. http://dx.doi.org/10.3390/app10186328.

Full text

Abstract:

This paper presents OntologyFixer, a web-based tool that supports a methodology to build, assess, and improve the quality of ontology web language (OWL) ontologies. Using our software, knowledge engineers are able to fix low-quality OWL ontologies (such as those created from natural language documents using ontology learning processes). The fixing process is guided by a set of metrics and fixing mechanisms provided by the tool, and executed primarily through automated changes (inspired by quick fix actions used in the software engineering domain). To evaluate the quality, the tool supports numerical and graphical quality assessments, focusing on ontology content and structure attributes. This tool follows principles, and provides features, typical of scientific software, including user parameter requests, logging, multithreading execution, and experiment repeatability, among others. OntologyFixer architecture takes advantage of model view controller (MVC), strategy, template, and factory design patterns; and decouples graphical user interfaces (GUI) from ontology quality metrics, ontology fixing, and REST (REpresentational State Transfer) API (Application Programming Interface) components (used for pitfall identification, and ontology evaluation). We also separate part of the OntologyFixer functionality into a new package called OntoMetrics, which focuses on the identification of symptoms and the evaluation of the quality of ontologies. Finally, OntologyFixer provides mechanisms to easily develop and integrate new quick fix methods.

APA, Harvard, Vancouver, ISO, and other styles

50

Grundy, John, and John Hosking. "Guest editors introduction: special issue on innovative automated software engineering tools—part #2." Automated Software Engineering 20, no. 3 (April 26, 2013): 297–98. http://dx.doi.org/10.1007/s10515-013-0126-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'AUTOMATED SOFTWARE ENGINEERING'

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