Supporting novice computerscience students in learning the software development life cycle (SDLC) at scale is vital for ensuring the quality of future software systems. However, this presents unique challenges, inclu...
详细信息
ISBN:
(纸本)9798400706332
Supporting novice computerscience students in learning the software development life cycle (SDLC) at scale is vital for ensuring the quality of future software systems. However, this presents unique challenges, including the need for effective interactive collaboration and access to diverse skill sets of members in the software development team. To address these problems, we present "DevCoach", an online system designed to support students learning the SDLC at scale by interacting with generative agents powered by large language models simulating members with different roles in a software development team. Our preliminary user study results reveal that DevCoach improves the experiences and outcomes for students, with regard to learning concepts in SDLC's "Plan and Design" and "Develop" phases. We aim to use our findings to enhance DevCoach to support the entire SDLC workflow by incorporating additional simulated roles and enabling students to choose their project topics. Future studies will be conducted in an online softwareengineering class at our institution, aiming to explore and inspire the development of intelligent systems that provide comprehensive SDLC learning experiences to students at scale.
Community detection in software dependency graphs is crucial for enhancing package recommendations, aiding project discovery, and improving software management. Traditional methods often struggle with the complexity o...
详细信息
Clever fitness management software using the Internet of Factors (IoT) and smart sensors are a modern answer for powerful and personalized health care. This technology integrates innovative sensors with IoT, creating ...
详细信息
The application of software systems in safety-critical domains necessitates the use and adherence to not only best practices buts also standards that are established for such domains. A number of internationally estab...
详细信息
Customers are the lifeline of software companies. Therefore, it is vital for companies to guarantee customer satisfaction and loyalty. Many research studies have been conducted on employee satisfaction and employee mo...
详细信息
ISBN:
(纸本)9783031645754;9783031645761
Customers are the lifeline of software companies. Therefore, it is vital for companies to guarantee customer satisfaction and loyalty. Many research studies have been conducted on employee satisfaction and employee motivation, but these have rarely been connected to software services to customers. In this paper, we describe a case study where performance indicators were defined both from the perspective of the employees and the customers to give some indication of the quality of the services. The case study was conducted in collaboration with an internationalsoftware company in Iceland where the main author of this paper is an employee. The main results show that the employees agreed that the performance indicators were positive and motivating. The main contribution of the project is in the form of key performance indicators that the employees will hopefully use in the future. The results of the project can be used by other IT professionals that want to define performance indicators for their services from the joint perspective of the customers and the employees.
We present Stereocode, a static analysis tool engineered to automatically identify, and re-document software systems written in C++, C#, and/or Java with method and class stereotypes. A stereotype is a simple abstract...
详细信息
ISBN:
(纸本)9798350395693;9798350395686
We present Stereocode, a static analysis tool engineered to automatically identify, and re-document software systems written in C++, C#, and/or Java with method and class stereotypes. A stereotype is a simple abstraction that encapsulates the high-level behavior of a method or a class. The tool is built around the srcML infrastructure, an XML representation of source code. Stereocode annotates the srcML input with the computed stereotypes as XML attributes to the function and class tags. We showcase Stereocode's efficiency in conducting large-scale analysis of software systems, which involves using 1050 repositories from GitHub across C++, C#, and Java. The results provide valuable insights into the distribution of stereotypes. A demo video is available at: https://***/D9oxwUlPbOI.
This article explores the important issue of protecting software from reverse engineering techniques by presenting an approach based on the use of an encrypted command stream interpreter. This article proposes the use...
详细信息
Predicting the metastatic direction of primary breast cancer (BC), thus assisting physicians in precise treatment, strict follow-up, and effectively improving the prognosis. The clinical data of 293,946 patients with ...
详细信息
In critical softwareengineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., test results, proofs). ACs can also be ...
详细信息
ISBN:
(纸本)9783031765537;9783031765544
In critical softwareengineering, structured assurance cases (ACs) are used to demonstrate how key properties (e.g., safety, security) are supported by evidence artifacts (e.g., test results, proofs). ACs can also be studied as formal objects in themselves, such that formal methods can be used to establish their correctness. Creating rigorous ACs is particularly challenging in the context of software product lines (SPLs), wherein a family of related software products is engineered simultaneously. Since creating individual ACs for each product is infeasible, AC development must be lifted to the level of product lines. In this work, we propose PLACIDUS, a methodology for integrating formal methods and software product line engineering to develop provably correct ACs for SPLs. To provide rigorous foundations for PLACIDUS, we define a variability-aware AC language and formalize its semantics using the proof assistant Lean. We provide tool support for PLACIDUS as part of an Eclipse-based model management framework. Finally, we demonstrate the feasibility of PLACIDUS by developing an AC for a product line of medical devices.
The proceedings contain 77 papers. The topics discussed include: what makes online reviews useful? evidence from ***;impact of electronic word-of-mouth on box office revenue: an empirical study based on web crawler te...
ISBN:
(纸本)9781665425650
The proceedings contain 77 papers. The topics discussed include: what makes online reviews useful? evidence from ***;impact of electronic word-of-mouth on box office revenue: an empirical study based on web crawler technology;research on man-machine safety of officer of the watch fatigue based on fuzzy mathematics and safety ergonomics;research on key factors of digital transformation behavior of discrete manufacturing enterprises based on NVIVO analysis;newton iteration method for nonlinear equations with parameters and arbitrary original value;study on image recognition based on computer visual angle point detection;and design and implementation of internet ticketing system based on distributed data processing platform.
暂无评论