检索结果-内蒙古大学图书馆

2023 IEEE Conference on engineering Informatics, EI 2023

作者： Abdelkader, Hala Abdelrazek, Mohamed Schneider, Jean-Guy Rani, Priya Vasa, Rajesh Applied Artificial Intelligence Institute Deakin University VIC Australia Monash University Department of Software Systems & Cybersecurity VIC Australia Stem - School of Engineering Rmit University VIC Australia

ISBN: (纸本)9798350338522

Machine learning (ML) has revolutionized various industries by enabling the development of complex models that learn from data and make accurate predictions. However, moving from prototyping ML models to production software systems poses robustness challenges due to the lack of standardization around ML tools and processes. To tackle these challenges in deployed ML models, different elements of robustness must be addressed, including transparency, safety, and security along with adopting a unified language and terminologies. This paper aims to highlight the key robustness challenges that ML models encounter when deployed in production environments, and to emphasize the significance of proactively tackling these challenges. We also introduce various patterns for safeguarding ML models that need to be implemented on both the ML models and the software system sides. © 2023 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Closing the Loop between User Stories and GUI Prototypes: An LLM-Based Assistant for Cross-Functional Integration in software Development 25

Closing the Loop between User Stories and GUI Prototypes: An...

引用

2025 CHI Conference on Human Factors in Computing systems, CHI 2025

作者： Kretzer, Felix Kolthoff, Kristian Bartelt, Christian Ponzetto, Simone Paolo Maedche, Alexander Karlsruhe Germany Institute for Software and Systems Engineering Clausthal University of Technology Clausthal-Zellerfeld Germany Data and Web Science Group University of Mannheim Mannheim Germany Karlsruhe Germany

ISBN: (纸本)9798400713941

Graphical user interfaces (GUIs) are at the heart of almost every software we encounter. GUIs are often created through a collaborative effort involving UX designers, product owners, and software developers, constantly facing changing requirements. Historically, problems in GUI development include a fragmented, poorly integrated tool landscape and high synchronization efforts between stakeholders. Recent approaches suggest using large language models (LLMs) to recognize requirements fulfillment in GUIs and automatically propose new GUI components. Based on ten interviews with practitioners, this paper proposes an LLM-based assistant as a Figma plug-in that bridges the gap between user stories and GUI prototyping. We evaluated the prototype with 40 users and 40 crowd-workers, showing that the effectiveness of GUI creation is improved by using LLMs to detect requirements' completion and generate new GUI components. We derive design rationales to support cross-functional integration in software development, ensuring that our plug-in integrates well into established processes. © 2025 Copyright held by the owner/author(s).

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Defining and executing temporal constraints for evaluating engineering artifact compliance

arXiv

引用

arXiv 2023年

作者： Ratiu, Cosmina-Cristina Mayr-Dorn, Christoph Egyed, Alexander Johannes Kepler University Institute for Software Systems Engineering Linz Austria

engineering processes for safety-critical systems describe the steps and sequence that guide engineers from refining user requirements into executable code, as well as producing the artifacts, traces, and evidence that the resulting system is of high quality. Process compliance focuses on ensuring that the actual engineering work is followed as closely as possible to the described engineering processes. To this end, temporal constraints describe the ideal sequence of steps. Checking these process constraints, however, is still a daunting task that requires a lot of manual work and delivers feedback to engineers only late in the process. In this paper, we present an automated constraint checking approach that can incrementally check temporal constraints across inter-related engineering artifacts upon every artifact change thereby enabling timely feedback to engineers on process deviations. Temporal constraints are expressed in the Object Constraint Language (OCL) extended with operators from Linear Temporal Logic (LTL). We demonstrate the ability of our approach to support a wide range of higher level temporal patterns. We further show that for constraints in an industry-derived use case, the average evaluation time for a single constraint takes around 0.2 milliseconds. © 2023, CC BY-SA.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

Common Code Quality Issues of Novice Java Programmers: A Comprehensive Analysis of Student Assignments 15

Common Code Quality Issues of Novice Java Programmers: A Com...

引用

15th International Conference on Computer Supported Education, CSEDU 2023

作者： Kohlbacher, Christina Julia Vierhauser, Michael Groher, Iris Institute of Business Informatics - Software Engineering JKU Business School Johannes Kepler University Linz Austria LIT Secure and Correct Systems Lab Johannes Kepler University Linz Austria

ISBN: (纸本)9789897586415

Starting to learn programming is often perceived as being quite tedious by students at the bachelor level. Many programming courses thus face high drop-out rates and moderate results for those who pass. This problem is exacerbated when teaching programming to students enrolled in non-computer science curricula. To overcome these issues, we have developed a novel didactic concept based on peer learning, tutoring, dedicated teaching, and learning material that supports individuality and competency-based learning. Our current focus lies on teaching basic programming principles, but to further support our students and foster a positive learning experience, we want to learn more about the difficulties they are facing, particularly with respect to best practices, coding conventions, and code quality. We, therefore, performed a static code analysis of homework assignments of students participating in our introductory programming course for two consecutive years. We analyzed over 13,000 Java files and more than 400,000 lines of Java code to identify common code quality issues faced by our students. Our analysis shows that the majority of rule violations are related to coding style. The violations do not differ much with respect to the topics covered in the homework assignments, and hardly change over time. The more lines of code the students write, the more rules are violated. Based on our findings we present concrete recommendations on how to support novice programmers in improving their code quality. Copyright © 2023 by SCITEPRESS – Science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Triple Diseases Prediction System using Deep Learning Techniques

Triple Diseases Prediction System using Deep Learning Techni...

引用

Emerging Trends in Information Technology and engineering (ic-ETITE), Conference on

作者： R. Vijayan V. Mareeswari A. B. Jaswanth Department of Information Technology School of Computer Science Engineering and Information Systems (SCORE) Vellore Institute of Technology (VIT) Vellore Tamilnadu Department of Software and Systems School of Computer Science Engineering and Information Systems (SCORE) Vellore Institute of Technology (VIT) Vellore Tamilnadu MTech (Software Engineering) School of Computer Science Engineering and Information Systems (SCORE) Vellore Institute of Technology (VIT) Vellore Tamilnadu

With the existing deep learning models in predicting multiple diseases primarily focus on analyzing individual diseases in isolation, lacking a unified system for multi-disease prediction. This project presents an approach to predict multiple diseases using Flask API, with a specific focus on brain tumors, COVID-19 and pneumonia. The proposed work represents a significant contribution to the field of disease prediction, harnessing the power of deep learning algorithms and modern web application development. The primary focus is on disease prediction, with a particular emphasis on ensuring accuracy and accessibility for end-users. The initial phase of this research involves data collection, where relevant datasets of various diseases are gathered. These datasets serve as the foundation for training and validating the deep learning models. Two prominent deep learning algorithms, Sequential CNN and VGG16, are employed for this purpose. These algorithms are chosen for their ability to handle complex data and recognize patterns within medical images and other health-related data. The core of the research involves training the deep learning models using the collected datasets. This step is crucial in enabling the models to learn and generalize from the provided data, ultimately enhancing their predictive capabilities. The models are modified to elevate their performance and accuracy. Following the training phase, the models are rigorously tested to evaluate their predictive accuracy. This assessment is vital in gauging the real-world applicability of the models in medical diagnosis. To make these powerful disease prediction models accessible to a wider audience, a front-end web application is developed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integrating Data Protection at Interface of RISC-V Processor Core

Integrating Data Protection at Interface of RISC-V Processor...

引用

Panhellenic Conference on Electronics and Telecommunications (PACET)

作者： Ján Mach Lukáš Kohútka Pavel Čičák Institute of Computer Engineering and Applied Informatics Slovak University of Technology Slovakia Institute of Informatics Information Systems and Software Engineering Slovak University of Technology Slovakia

Fulfilling increasing performance demands of space and automotive applications can be problematic as high dependability is required. Memory is one of the most radiationsensitive parts, so it is often protected with information redundancy. This paper describes an integration of error correction and detection techniques into the interface of RISC-V processor to protect the data stored in the memory. We also provide a hardware-software interface for reporting errors and software routines for correcting data in memory. Our solution has a negligible impact (-3.9%) on the overall performance of the core with a small area and power consumption overhead.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Improving AFLGo's Directed Fuzzing by Considering Indirect Function Calls

Improving AFLGo's Directed Fuzzing by Considering Indirect F...

引用

IEEE/ACM International Conference on Automated software engineering - Workshops (ASE Workshops)

作者： Fabian Jezuita Quality Engineering (SQC) Fraunhofer Institute for Open Communication Systems Berlin Germany

Directed fuzzing is a sophisticated security testing technique that aims to find vulnerabilities in specific locations of a software system. It is thus used in cases where targeting a pre-defined section of a system under test (SUT) is required. The directed fuzzer AFLGo utilizes abstract representations, such as call graphs and control-flow graphs, of the SUT to accomplish directedness. These representations however do not consider indirect function calls, more specifically function pointers. This might distort AFLGo's process of guiding the testing towards the desired locations. In the worst case, it might even break the dirpctpilnpss altogether, This paper introduces Marauder's Map, an extension for AFLGo that rectifies this problem. Its implementation is discussed and experiments with various SUTs are conducted to investigate how AFLGo's directed fuzzing benefits from the consideration of indirect function calls. It shows that Marauder's Map is able to expose vulnerabilities up to five times faster than the unaltered version of AFLGo.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Crop protection and disease detection using artificial intelligence and computer vision: a comprehensive review

引用

Multimedia Tools and Applications 2025年第7期84卷 3723-3743页

作者： Shah, Kanish Sushra, Rajat Shah, Manan Shah, Dhairya Shah, Haard Raval, Megh Prajapati, Mitul Software Engineer Walmart SunnyvaleCA United States Atmiya Vidya Mandir Gujarat Surat India Department of Chemical Engineering School of Energy Technology Pandit Deendayal Energy University Gujarat Gandhinagar India Robotics ECE Concentration Northeastern University BostonMA United States Department of Computer Science Concentration in AI Hofstra University HempsteadNY United States Department of Chemical Engineering S. S Agrawal Institute of Engineering & Technology Gujarat Navsari India R &D Engineer Span Inspection Systems Pvt. Ltd Gujarat Gandhinagar India

The technological advancements in the field of agriculture have increased to a great extent in recent years, and many techniques have evolved from other techniques. Some methods are improved or upgraded from the previous versions by implementing a new model or using better hardware devices. This has been helpful for the farmers in increasing crop productivity, and the life expectancy of crops has also increased as the diseases inside or outside the crops can be detected much earlier, and learning at an early stage helps prevent other crops. In this paper, we have presented a study where many varieties of fruits and vegetables have been taken to determine which method was used for a particular crop. By analyzing the various works carried out by the authors, it was inferred that most of the works revolved around image processing and hyperspectral imaging. Due to this, we had also included most of the papers, particularly as the models and hardware components used were much better than other works. Then, a comparative study was done where different fruits and vegetables highlighted the two main areas: the method used and the accuracy obtained. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2024.

关键词： Crops

来源：评论

学校读者我要写书评

暂无评论

Optimizing beyond boundaries: empowering the salp swarm algorithm for global optimization and defective software module classification

引用

Neural Computing and Applications 2024年第30期36卷 18727-18759页

作者： Kassaymeh, Sofian Al-Betar, Mohammed Azmi Rjoubd, Gaith Fraihat, Salam Abdullah, Salwani Almasri, Ammar Software Engineering Department Faculty of Information Technology Aqaba University of Technology Aqaba Jordan College of Engineering and Information Technology Ajman University Ajman United Arab Emirates Department of Information Technology Al-Huson University College Al-Balqa Applied University Irbid Jordan Concordia Institute for Information Systems Engineering Concordia University Montreal Canada Artificial Intelligence Department Faculty of Information Technology Aqaba University of Technology Aqaba Jordan Data Mining and Optimization Research Group Center for Artificial Intelligence Technology Universiti Kebangsaan Malaysia Bangi Malaysia Management Information Systems Department Al-Balqa Applied University Amman Jordan

This work presents a new version of the salp swarm optimizer (SSA), called "mSSA," that uses complex mathematical expressions to dynamically manipulate the crucial control parameter (c1) during optimization. These expressions are carefully designed to modulate the shift in search strategy from exploratory to exploitative, improving the flexibility and speed of convergence of the algorithm. To evaluate the performance of the developed mSSA variants, a thorough examination is carried out on twenty-three benchmark test functions alongside their application to the complex task of software module classification. The process of classifying defective software modules involves developing a multilayer perceptron (MLP) classifier that is suited to the particular complexity and heterogeneity of the task. Selecting the best optimizer is made easier by systematically evaluating the different mSSA versions as MLP classifier trainers. Based on metrics like classification accuracy, convergence speed, and avoidance of local minima, a comparative analysis in opposition to six previously published metaheuristic optimizers shows that mSSA3, when combined with the developed MLP classifier, outperforms both other mSSA variations and state-of-the-art metaheuristic optimizers in terms of overall performance. The excellent classification accuracy, swift convergence, and ability to avoid local minima of mSSA3 highlight its superiority and establish it as a cutting-edge method in the application of metaheuristic algorithms. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

3rd Workshop: Sustainable Value Creation systems

3rd Workshop: Sustainable Value Creation Systems

引用

2023 Designing Futures: Zukunfte gestalten, INFORMATIK 2023 - 2023 Designing Futures: Shaping the Future, INFORMATIK 2023

作者： Schoormann, Thorsten Kammler, Friedemann Christoph Gembarski, Paul Hagen, Simon Universität Hildesheim Institut for Betriebswirtschaft und Wirtschaftsinformatik Universitätsplatz 1 Hildesheim31141 Germany Fraunhofer Institute for Software and Systems Engineering Industrial Manufacturing Speicherstraße 6 Dortmund44147 Germany UNEOS AG An der Universität 1 Garbsen30823 Germany Smart Enterprise Engineering Hamburger Str. 24 Osnabrück49084 Germany

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：