English
Related papers

Related papers: Formal Methods: From Academia to Industrial Practi…

200 papers

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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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…

Digital Libraries · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Digital Libraries · Computer Science 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…

Computers and Society · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

General Literature · Computer Science 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,…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 2026-01-26 Mary Shaw , Mary Lou Maher , Keith Webster
‹ Prev 1 4 5 6 7 8 10 Next ›