中文
相关论文

相关论文: Formal Methods: From Academia to Industrial Practi…

200 篇论文

Software technology has high impact on the global economy as in many sectors of contemporary society. As a product enabling the most varied daily activities, the software product has to be produced reflecting high quality. Software quality…

软件工程 · 计算机科学 2022-01-24 Rogerio Rossi , Kechi Hirama

Secure software engineering is a fundamental activity in modern software development. However, while the field of security research has been advancing quite fast, in practice, there is still a vast knowledge gap between the security experts…

软件工程 · 计算机科学 2021-04-09 Vivek Arora , Enrique Larios Vargas , Maurício Aniche , Arie van Deursen

Agile methodologies have gained significant traction in the software development industry, promising increased flexibility and responsiveness to changing requirements. However, their applicability to safety-critical systems, particularly in…

软件工程 · 计算机科学 2024-09-20 Mehrnoosh Askarpour , Sahar Kokaly , Ramesh S

Requirement engineering is a key ingredient for software development to be effective. Apart from the traditional software requirement which is not much appropriate for new emerging software such as smart handheld device based software. In…

软件工程 · 计算机科学 2014-08-13 Tamjid Rahman , M. Rokonuzzaman

Currently, software industries are using different SDLC (software development life cycle) models which are designed for specific purposes. The use of technology is booming in every perspective of life and the software behind the technology…

软件工程 · 计算机科学 2018-07-17 AZM Ehtesham Chowdhury , Abhijit Bhowmik , Hasibul Hasan , Md Shamsur Rahim

Recent research advances in Artificial Intelligence (AI) have yielded promising results for automated software vulnerability management. AI-based models are reported to greatly outperform traditional static analysis tools, indicating a…

密码学与安全 · 计算机科学 2024-05-07 Shengye Wan , Joshua Saxe , Craig Gomes , Sahana Chennabasappa , Avilash Rath , Kun Sun , Xinda Wang

The way science is currently practiced shows conclusions but hides how they were reached. Researchers work privately, polish their results, publish a finished paper, and defend it. Errors are punished by retraction rather than corrected by…

数字图书馆 · 计算机科学 2026-04-14 Sergey V. Samsonau

After introducing agile approach in 2001, several agile methods were founded over the last decade. Agile values such as customer collaboration, embracing changes, iteration and frequent delivery, continuous integration, etc. motivate all…

软件工程 · 计算机科学 2013-02-13 Taghi Javdani Gandomani , Hazura Zulzalil , Abdul Azim Abdul Ghani , Abu Bakar Md. Sultan

When it comes to industrial organizations, current collaboration efforts in software engineering research are very often kept in-house, depriving these organizations off the skills necessary to build independent collaborative research. The…

软件工程 · 计算机科学 2015-03-11 Eduard Paul Enoiu , Adnan Causevic

Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been…

软件工程 · 计算机科学 2014-11-11 Manfred Broy , Franz Huber , Barbara Paech , Bernhard Rumpe , Katharina Spies

Technology organizations continuously invest in professional development, but face difficulties in transferring learning to project practice. This exploratory qualitative study investigates which improvements software engineering…

软件工程 · 计算机科学 2026-03-17 Rodrigo Siqueira , Danilo Monteiro Ribeiro

Software testing ensures that a system functions correctly, meets specified requirements, and maintains high quality. As artificial intelligence and machine learning (ML) technologies become integral to software systems, testing has evolved…

软件工程 · 计算机科学 2025-07-29 Ronnie de Souza Santos , Matheus de Morais Leca , Reydne Santos , Cleyton Magalhaes

Software is foundationally important to scientific and social progress, however, traditional acknowledgment of the use of others' work has not adapted in step with the rapid development and use of software in research. This report outlines…

数字图书馆 · 计算机科学 2023-02-16 Daina Bouquin , Ana Trisovic , Oliver Bertuch , Elena Colón-Marrero

Many, but not all, Indian CS & IT academics tend to have a focus on theory and research. They do not give much importance to the practice of software development. This paper proposes an additional software development career track for…

计算机与社会 · 计算机科学 2012-12-24 Ravi S. Iyer

Reliable effort estimation remains an ongoing challenge to software engineers. Accurate effort estimation is the state of art of software engineering, effort estimation of software is the preliminary phase between the client and the…

软件工程 · 计算机科学 2010-04-09 Saleem Basha , Dhavachelvan Ponnurangam

Software development comprises complex tasks which are performed by humans. It involves problem solving, domain understanding and communication skills as well as knowledge of a broad variety of technologies, architectures, and solution…

软件工程 · 计算机科学 2019-10-22 Christoph Matthies , Guenter Hesse

Scientific software projects evolve rapidly in their initial development phase, yet at the end of a funding period, the completion of a research project, thesis, or publication, further engagement in the project may slow down or cease…

综合文献 · 计算机科学 2021-05-10 Jörg Fehr , Christian Himpe , Stephan Rave , Jens Saak

Software development is a sociotechnical and human-centered endeavor in which human factors directly influence quality, productivity, and innovation capacity. In this context, career development in computing goes beyond technical mastery,…

软件工程 · 计算机科学 2026-05-01 Israely Lima , Lucas Moura Lourenço , Márcio Ribeiro , Ivan Machado , Carla Ilane Bezerra

As quantum computers advance, the complexity of the software they can execute increases as well. To ensure this software is efficient, maintainable, reusable, and cost-effective -key qualities of any industry-grade software-mature software…

The software engineering research community is productive, yet it faces a constellation of challenges: swamped review processes, metric-driven incentives, distorted publication practices, and increasing pressures from AI, scale, and…

软件工程 · 计算机科学 2026-01-26 Mary Shaw , Mary Lou Maher , Keith Webster