中文
相关论文

相关论文: Proceedings Third International Workshop on Engine…

200 篇论文

Gestures are a topic of increasing interest in authentication and successful implementation as a security layer requires reliable gesture recognition. So far much work focuses on new ways to recognize gestures, leaving discussion on the…

密码学与安全 · 计算机科学 2014-08-28 Gradeigh D. Clark , Janne Lindqvist

As our lives, our businesses, and indeed our world economy become increasingly reliant on the secure operation of many interconnected software systems, the software engineering research community is faced with unprecedented research…

软件工程 · 计算机科学 2024-09-27 Marcel Böhme , Eric Bodden , Tevfik Bultan , Cristian Cadar , Yang Liu , Giuseppe Scanniello

Experimentation with software prototypes plays a fundamental role in software engineering research. In contrast to many other scientific disciplines, however, explicit support for this key activity in software engineering is relatively…

软件工程 · 计算机科学 2021-10-26 Klaus Schmid , Sascha El-Sharkawy , Christian Kröher

This technical report records and discusses the Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2). The report includes a description of the alternative, experimental submission and review process, two…

In this chapter, we provide advice on how to effectively teach survey research based on lessons learned from several international teaching experiences on the topic and from conducting large-scale surveys published at various scientific…

软件工程 · 计算机科学 2024-08-01 Marcos Kalinowski , Allysson Allex Araújo , Daniel Mendez

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

计算机科学中的逻辑 · 计算机科学 2017-11-29 Dana Fisman , Swen Jacobs

Security and safety are intertwined concepts in the world of computing. In recent years, the terms "sustainable security" and "sustainable safety" came into fashion and are being used referring to a variety of systems properties ranging…

密码学与安全 · 计算机科学 2022-11-16 Jan Tobias Muehlberg

This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software,…

软件工程 · 计算机科学 2012-02-28 Alexander K. Petrenko , Holger Schlingloff

As testified by new regulations like the European AI Act, worries about the human and societal impact of (autonomous) software technologies are becoming of public concern. Human, societal, and environmental values, alongside traditional…

软件工程 · 计算机科学 2024-12-30 Marco Autili , Martina De Sanctis , Paola Inverardi , Patrizio Pelliccione

This paper gives insights into the DynaSoS project, which aims to propose a cross-domain roadmap for systems engineering research into trustworthy dynamic systems-of-systems with autonomous components. The project follows a methodology that…

软件工程 · 计算机科学 2022-06-14 Rasmus Adler , Frank Elberzhager , Julien Siebert

Security is an important quality of software systems, but there is a huge lack of security experts. To overcome this gap, we aim to make security design knowledge reusable for architects by proposing the SecuRe recommendation approach to…

软件工程 · 计算机科学 2025-01-28 Alex R. Sabau , Dominik Lammers , Horst Lichter

The Wendelstein 7-X (W7-X) Safety Instrumented System (SIS) ensures personal safety and investment protection. The development and implementation of the SIS are based on the international safety standard for the process industry sector, IEC…

仪器与探测器 · 物理学 2019-09-04 J. Schacht , A. Woelk , S. Pingel , U. Herbst , D. Naujoks , the W7-X Team

New model of software safety is offered. Distribution of mistakes in program on stages of life cycle is researched. Study of ways of increase of reliability of software at help simulation program is leaded.

软件工程 · 计算机科学 2008-07-02 Arkadiy Khandjian

There has been growing interest within the computational science and engineering (CSE) community in engaging with software engineering research -- the systematic study of software systems and their development, operation, and maintenance --…

软件工程 · 计算机科学 2022-01-12 Reed Milewicz , Miranda Mundt

This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…

计算机科学中的逻辑 · 计算机科学 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

Sustainable Software Engineering (SSE) is slowly becoming an industry need for reasons including reputation enhancement, improved profits and more efficient practices. However, SSE has many definitions, and this is a challenge for…

软件工程 · 计算机科学 2025-09-17 Satwik Ghanta , Peggy Gregory , Gul Calikli

This paper reports our extended analysis of the recent literature addressing global software engineering (GSE), using a new Systematic Snapshot Mapping (SSM) technique. The primary purpose of this work is to understand what issues are being…

软件工程 · 计算机科学 2021-01-01 Bilal Raza , Stephen G. MacDonell , Tony Clear

This position paper explores the intricate relationship between social psychology and secure software engineering, underscoring the vital role social psychology plays in the realm of engineering secure software systems. Beyond a mere…

软件工程 · 计算机科学 2024-07-02 Lucas Gren , Robert Feldt

In this paper we describe our experience in designing and evaluating our graduate level computer security seminar course. In particular, our seminar is designed with two goals in mind. First, to instil critical thinking by teaching graduate…

计算机与社会 · 计算机科学 2020-03-26 Kashyap Thimmaraju , Julian Fietkau , Fatemeh Ganji

With increasing demands for flexible work models, many IT organizations have adapted to hybrid work that promises enhanced team productivity as well as work satisfaction. To achieve productive engineering practice, collaborative product…