Related Experiment Video
Updated: Oct 12, 2025

Evaluation of an Exclusive Spur Dike U-Turn Design with Radar-Collected Data and Simulation
Published on: February 1, 2020
Correctness and Completeness of Programming Instructions for Traffic Circulation
Daniela Glavaničová1, Matteo Pascucci2
1Department of Logic and Methodology of Sciences, Faculty of Arts, Comenius University in Bratislava, Gondova 2, 811 02, Bratislava, Slovak Republic.
Abstract:
In the present article we exploit the logical notions of correctness and completeness to provide an analysis of some fundamental problems that can be encountered by a software developer when transforming norms for traffic circulation into programming instructions. Relying on this analysis, we then introduce a question and answer procedure that can be helpful, in case of an accident, to clarify which components of an existing framework should be revised and to what extent software developers can be held responsible.
Related Concept Videos
Introduction to Vertical Curves
Elevation of Intermediate Points on Vertical Curves
Introduction to Horizontal Curves
Design Example: Alignment of a Road Line Using GIS
Vertical Curve: Problem Solving
Sight Distance in a Vertical Curve

