English
Related papers

Related papers: A Retrospective on ICSE 2022

200 papers

This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an…

Formal Languages and Automata Theory · Computer Science 2024-11-21 Georgiana Caltais , Cinzia Di Giusto

This is the Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence, which was held in Stanford, CA, July 17-19, 1992

Artificial Intelligence · Computer Science 2013-04-16 Bruce D'Ambrosio , Didier Dubois , Philippe Smets , Michael Wellman

This chapter presents, from our research on inclusive software within the context of a diversity and inclusion based STEM program at the University of Victoria, INSPIRE: STEM for Social Impact (hereafter Inspire). In a society with an ever…

Software Engineering · Computer Science 2024-08-13 Kezia Devathasan , Nowshin Nawar Arony , Daniela Damian

Proceedings of the AAAI Fall Symposium on Artificial Intelligence in Government and Public Sector, Washington, DC, USA, November 4-6, 2021

Artificial Intelligence · Computer Science 2021-12-13 Mihai Boicu , Erik Blasch , Alun Preece

This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th…

Logic in Computer Science · Computer Science 2024-10-01 Sandra Alves , Ian Mackie

This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest. The program included 1 invited talk, 9…

Programming Languages · Computer Science 2013-02-04 Nicos Angelopoulos , Roberto Bagnara

Peer review is the main mechanism by which the software engineering community assesses the quality of scientific results. However, the rapid growth of paper submissions in software engineering venues has outpaced the availability of…

Software Engineering · Computer Science 2026-01-30 Esteban Parra , Sonia Haiduc , Preetha Chatterjee , Ramtin Ehsani , Polina Iaremchuk

This paper presents the results of a research study related to software system failures, with the goal of understanding how we might better evolve, maintain and support software systems in production. We have qualitatively analyzed thirty…

Software Engineering · Computer Science 2020-08-26 Jonathan Sillito , Esdras Kutomi

We introduce the General Index of Software Engineering Papers, a dataset of fulltext-indexed papers from the most prominent scientific venues in the field of Software Engineering. The dataset includes both complete bibliographic information…

Software Engineering · Computer Science 2022-04-08 Zeinab Abou Khalil , Stefano Zacchiroli

This volume contains the proceedings of EXPRESS/SOS 2025: the Combined 32nd International Workshop on Expressiveness in Concurrency and the 22nd Workshop on Structural Operational Semantics, which was held in Aarhus, Denmark, as an…

Logic in Computer Science · Computer Science 2025-10-28 Cinzia Di Giusto , Giorgio Bacci

Search-Based Software Engineering (SBSE) is a promising paradigm that exploits the computational search to optimize different processes when engineering complex software systems. Self-adaptive system (SAS) is one category of such complex…

Software Engineering · Computer Science 2020-08-18 Tao Chen , Miqing Li , Ke Li , Kalyanmoy Deb

The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on August 1, 2022, in the Pre-FLoC workshop block (July 31-August 1) of FLoC 2022 (Federated Logic Conference 2022, July 31-August 12). As such, TERMGRAPH 2022 was a…

Logic in Computer Science · Computer Science 2023-04-04 Clemens Grabmayer

This volume contains the proceedings of ICE 2015, the 8th Interaction and Concurrency Experience, which was held in Grenoble, France on the 4th and 5th of June 2015 as a satellite event of DisCoTec 2015. The ICE procedure for paper…

Programming Languages · Computer Science 2015-08-20 Sophia Knight , Ivan Lanese , Alberto Lluch Lafuente , Hugo Torres Vieira

While mastered by some, good scientific writing practices within Empirical Software Engineering (ESE) research appear to be seldom discussed and documented. Despite this, these practices are implicit or even explicit evaluation criteria of…

Software Engineering · Computer Science 2025-08-05 Roberto Verdecchia , Justus Bogner

This volume contains the proceedings of F-IDE 2018, the fourth international workshop on Formal Integrated Development Environment, which was held as a FLoC 2018 satellite event, on July 14, 2018, in Oxford, England. High levels of safety,…

Programming Languages · Computer Science 2018-11-26 Paolo Masci , Rosemary Monahan , Virgile Prevosto

Challenges related to development, deployment, and maintenance of reusable software for science are becoming a growing concern. Many scientists' research increasingly depends on the quality and availability of software upon which their…

Empirical methods like experimentation have become a powerful means to drive the field of software engineering by creating scientific evidence on software development, operation, and maintenance, but also by supporting practitioners in…

Software Engineering · Computer Science 2020-05-11 Michael Felderer , Guilherme Horta Travassos

This white paper briefly summarized key conclusions of the recent US Community Study on the Future of Particle Physics (Snowmass 2021) workshop on Software and Computing for Small High Energy Physics Experiments.

This volume contains papers presented at WLPE 2005, 15th International Workshop on Logic-based methods in Programming Environments. The aim of the workshop is to provide an informal meeting for the researchers working on logic-based tools…

Programming Languages · Computer Science 2007-05-23 Alexander Serebrenik , Susana Munoz-Hernandez

The workshop is affiliated with 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2024) August 26~30, 2023 / Pasadena, CA, USA. It is designed as a half-day event, extending over four hours from 9:00 to…

Robotics · Computer Science 2024-10-14 Yuchong Zhang , Elmira Yadollahi , Yong Ma , Di Fu , Iolanda Leite , Danica Kragic
‹ Prev 1 8 9 10 Next ›