English
Related papers

Related papers: Teaching Programming and Design-by-Contract

200 papers

High-quality education helps in finding a job - but student skills heterogeneity and student reluctance to move towards a professional attitude are important barriers to employability. We re-engineered some of the technical courses of a…

Software Engineering · Computer Science 2015-01-08 Vincent Ribaud , Philippe Saliou

In this paper, a detailed study on crime classification and prediction using deep learning architectures is presented. We examine the effectiveness of deep learning algorithms on this domain and provide recommendations for designing and…

Machine Learning · Computer Science 2018-12-04 Panagiotis Stalidis , Theodoros Semertzidis , Petros Daras

Based on the old but famous distinction between "in the small" and "in the large" software development, at Nancy Universit\'e, UHP Nancy 1, we experience for a while software engineering education thanks to actual project engineering. This…

Software Engineering · Computer Science 2009-11-18 Nacer Boudjlida , Jean-Pierre Jacquot , Pascal Urso

Students introduced to programming using a design-based approach and a functional programming language become familiar with first-class functions. They rarely, however, connect first-class functions to objects and object-oriented program…

Computers and Society · Computer Science 2022-08-15 Marco T. Morazán

Formulating real-world optimization problems often begins with making predictions from historical data (e.g., an optimizer that aims to recommend fast routes relies upon travel-time predictions). Typically, learning the prediction model…

Machine Learning · Computer Science 2021-12-20 Chris Cameron , Jason Hartford , Taylor Lundy , Kevin Leyton-Brown

Formal methods for software correctness are critical to the future of software engineering - and so must be an essential part of software engineering education. Unfortunately, formal methods are often resisted by students due to perceived…

Software Engineering · Computer Science 2022-05-03 James Noble , David Streader , Isaac Oscar Gariano , Miniruwani Samarakoon

Linear Programs (LP) are celebrated widely, particularly so in machine learning where they have allowed for effectively solving probabilistic inference tasks or imposing structure on end-to-end learning systems. Their potential might seem…

Artificial Intelligence · Computer Science 2022-03-30 Matej Zečević , Florian Peter Busch , Devendra Singh Dhami , Kristian Kersting

Improving algorithms via predictions is a very active research topic in recent years. This paper initiates the systematic study of mechanism design in this model. In a number of well-studied mechanism design settings, we make use of…

Computer Science and Game Theory · Computer Science 2023-01-13 Chenyang Xu , Pinyan Lu

We study the revenue-maximizing mechanism when a buyer's value evolves endogenously because of learning-by-consuming. A seller sells one unit of a divisible good, while the buyer relies on his private, rough valuation to choose his…

Theoretical Economics · Economics 2022-09-07 Huiyi Guo , Wei He , Bin Liu

The topic of comprehensibility of machine-learned theories has recently drawn increasing attention. Inductive Logic Programming (ILP) uses logic programming to derive logic theories from small data based on abduction and induction…

Artificial Intelligence · Computer Science 2024-10-01 Lun Ai , Johannes Langer , Stephen H. Muggleton , Ute Schmid

To prepare students for upcoming trends and challenges, it is important to teach them about the helpful and important aspects of modern technologies, such as robotics. However, classic study programs often fail to prepare students for…

Robotics · Computer Science 2026-03-17 Tobias Geger , Dominique Briechle , Andreas Rausch

We describe how graduate students categorize introductory mechanics problems based on the similarity of their solutions. Graduate students were asked at the end of a teaching assistant training class to categorize problems from their own…

Physics Education · Physics 2016-02-25 Chandralekha Singh

The field of structural engineering is vast, spanning areas from the design of new infrastructure to the assessment of existing infrastructure. From the onset, traditional entry-level university courses teach students to analyse structural…

Integration by parts (IBP) has acquired a bad reputation. While it allows us to compute a wide variety of integrals when other methods fall short, its implementation is often seen as plodding and confusing. Readers familiar with tabular IBP…

History and Overview · Mathematics 2016-06-15 John A. Rock

Context: In the context of exploring the art, science and engineering of programming, the question of which programming languages should be taught first has been fiercely debated since computer science teaching started in universities.…

Computers and Society · Computer Science 2017-04-04 Ellen Murphy , Tom Crick , James H. Davenport

AI code generators like OpenAI Codex have the potential to assist novice programmers by generating code from natural language descriptions, however, over-reliance might negatively impact learning and retention. To explore the implications…

Human-Computer Interaction · Computer Science 2023-02-22 Majeed Kazemitabaar , Justin Chow , Carl Ka To Ma , Barbara J. Ericson , David Weintrop , Tovi Grossman

The widespread establishment of computational thinking in school curricula requires teachers to introduce children to programming already at primary school level. As this is a recent development, primary school teachers may neither be…

Computers and Society · Computer Science 2021-11-04 Luisa Greifenstein , Isabella Graßl , Gordon Fraser

Object-oriented programming (OOP) is widely used in the software industry and university introductory courses today. Following the structure of most textbooks, such courses frequently are organised starting with the concepts of imperative…

Software Engineering · Computer Science 2017-11-15 Erica Janke , Philipp Brune , Stefan Wagner

The ability to read, use and develop code efficiently and successfully is a key ingredient in modern particle physics. We report the experience of a training program, identified as "Advanced Programming Concepts", that introduces software…

Physics Education · Physics 2016-01-20 Stefan Kluth , Maria Grazia Pia , Thomas Schoerner-Sadenius , Peter Steinbach

In DevOps Course, the Installation and configuration of the various software tools are useful in the context of application development. To teach DevOps Tools precisely to achieve the learning outcome is a skilled task for a trainer. From…

Software Engineering · Computer Science 2022-04-12 Manoj Devare