Search Results - Computer programming / software engineering

Behavioural Types: From Theory to Tools by Gay, Simon, Ravara, António

“…: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201…”
Get full text

Practical Test Design: Selection of traditional and automated test design techniques by Forgacs, Istvan, Kovacs, Attila

“…Reliable test design is important in software testing; without it, defects in software may remain undetected…”
Get full text

Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2025 Workshops, Brugg-Windisch, Switzerland, June 2–5, 2025, Revised Selected Papers

“…This open access book constitutes revised selected papers from the workshops and the poster track held at the 26th International Conference on Agile Software Development, XP 2025, which took place…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

“…The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software…”
Get full text

Agile Processes in Software Engineering and Extreme Programming: 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2–5, 2025, Proceedings

“…This open access book constitutes the proceedings of the 26th International Conference on Agile Software Development, XP 2025, which took place in Brugg-Windisch, Switzerland, during June 2-5, 2025…”
Get full text

Rethinking Productivity in Software Engineering by Sadowski, Caitlin, Zimmermann, Thomas

“… This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking…”
Get full text

Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4–7, 2024, Revised Selected Papers by Marchesi, Lodovica, Goldman, Alfredo, Lunesu, Maria Ilaria, Przybyłek, Adam, Aguiar, Ademar, Morgan, Lorraine, Wang, Xiaofeng, Pinna, Andrea

“…This open access book constitutes revised selected papers from the workshops held at the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy…”
Get full text

Agile Processes in Software Engineering and Extreme Programming: 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4–7, 2024, Proceedings by Šmite, Darja, Guerra, Eduardo, Wang, Xiaofeng, Marchesi, Michele, Gregory, Peggy

“…This open access book constitutes the proceedings of the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, during June 04-07, 2024…”
Get full text

Guest Editorial Special Issue “Software Engineering” by Vasenin, V. A.

“… software tools and systems at various stages of their life cycle…”
Get full text

Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

“…The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software…”
Get full text

Research on Database Programming Technology in Computer Software Engineering by Quan, Zhi, Pu, Caiyun

“… The core technology in computer technology is mainly computer software engineering, while the core technology in computer software engineering is database programming…”
Get full text

Fundamental Approaches to Software Engineering: 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

“…This open access book constitutes the proceedings of the 28th International Conference on Fundamental Approaches to Software Engineering, FASE 2025, which was held as part of the International Joint…”
Get full text

Computational thinking: a beginner's guide to problem-solving and programming by Beecher, Karl

“… With this book you'll learn to apply computational thinking in the context of software development to give you a head start on the road to becoming an experienced and effective programmer…”
Get full text

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings by Beyer, Dirk, Cavalcanti, Ana

“…This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took…”
Get full text

Foundations of Probabilistic Programming by Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra

“… (what is the probability that software leaks confidential information?), and presents three programming languages for different applications…”
Get full text

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings by Wies, Thomas

“…This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint…”
Get full text

Analysis of Database Programming Technology in Computer Software Engineering by Hong, Yunguo

“… The purpose of this article is to improve the application effect of database programming technology and improve the design level of computer software engineering…”
Get full text

Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Weirich, Stephanie

“…The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held…”
Get full text

Behavioural Types : From Theory to Tools

“…: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201…”
Get full text

Agile Processes in Software Engineering and Extreme Programming: 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13–16, 2023, Proceedings by Stettina, Christoph J, Garbajosa, Juan, Kruchten, Philippe

“…This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023…”
Get full text