No abstract available.
Proceeding Downloads
Improve Software Development: An Overview of Program Synthesis
With the rapid development of China's aerospace industry, the traditional software development models are no longer able to meet the current and future development requirements of embedded software. In order to explore new and transformative methods for ...
Comparison of methods for analyzing the correlation of user experience and information security
User experience (UX) is a quality requirement of software, but it can also negatively or positively influence the information security. It is not uncommon for users to misuse or even ignore information security mechanisms because the UX of the system is ...
Analysis and Comparison of Automatic Code Generation and Transformation Techniques on Low-Code Platforms
The low-code approach is an important area of research being developed to improve the rapid creation and performance of software applications. This approach allows developers and users to easily create software applications through an interactive ...
Research on the Safety Assurance Framework for Spacecraft Embedded Software
Abstract: With the widespread application of embedded software in safety-critical systems, how to effectively ensure software safety has become one of the research hotspots in the field of software engineering. Based on the survey of software safety-...
Mamamayan: A Mobile Community-based Emergency Reporting and Notification System for the City of Makati in the Philippines
Reliable public alert and warning systems are crucial for saving lives and protecting property during national, regional, and local disasters. Emergency notifications have become a significant concern for governments at both national and local levels. ...
W-Kernel: An OS Kernel Architecture Designed With Isolation and Customizability
We propose a new operating system architecture called W-kernel. Traditional commodity operating systems are monolithic which is easy to design and offers decent performance. However, as system complexity increases, the lack of isolation in a monolithic ...
Analysis of the Evaluation and Influencing Factors for Innovation Ability in Sub-provincial Cities Based on the BP Neural Network
As the key to measure the high-quality development of a city, urban innovation capability plays an important role. However, how to measure the urban innovation ability and how to find out the key factors that affect the urban innovation ability have ...
Index Terms
- Proceedings of the 2023 5th International Conference on Software Engineering and Development