Little research has been conducted on user interactions with machine learning models and users' trust. The current study explores differences in psychological perceptions of trust between two machine learning models. Across three studies, participants (N= 130, 134, 132) were recruited online and completed an image-binning monitoring task with either an uncalibrated classification model (UCM) or a calibrated classification model (CCM) that provided confidence estimates about their decisions. The UCM was highly confident, regardless of images from out-of-distribution classes, whereas the CCM was better calibrated between accuracy and confidence of out-of-distribution images. Results revealed participants performed better on the task in the CCM condition across all studies. In addition, trustworthiness perception results differed depending on whether the study included out-of-distribution images. Overall, calibrated confidence estimates displayed by CCMs can be an effective means of increasing transparency and enhancing our understanding of trust in machines, but more research is needed on trust perceptions in image classification tasks.

CCEL, a language that allows programmers to formally express constraints on their software systems and to automatically detect violations of these constraints, is introduced. The power, flexibility, and overall utility of CCEL are demonstrated by examples showing how it can express real constraints from real software developers for real systems.>

It is explained how inheritance and dynamic binding make object-oriented programs difficult to maintain, and a concrete example of the problems that arise is given. It is shown that the difficulty lies in the fact that conventional tools are poorly suited for work with object-oriented languages, and it is argued that semantics-based tools are essential for effective maintenance of object-oriented programs. A system developed for working with C++ programs is described. It comprises a relational database system for information about programs and an interactive database interface integrated with a text editor. The authors describe the system architecture, detail the database relations, provide informal evidence on the system's effectiveness, and compare it to other research with similar goals.>

The authors explain how inheritance and dynamic binding make object-oriented programs difficult to maintain, and give a concrete example of the problems that arise. They show that the difficulty lies in the fact that conventional tools are poorly suited for work with object-oriented languages, and argue that semantics-based tools are essential for effective maintenance of object-oriented programs. The authors describe a system developed for working with C++ programs. This system comprises a relational database system for information about programs, and an interactive database interface integrated with a text editor. They describe the system architecture, detail the database relations, provide informal evidence on the system's effectiveness, and compare it to other research with similar goals.>

A canonical program representation, semantic program graphs (SPGs), is described, and it is shown how SPGs can act as the foundation for multiparadigm software development environments. Using SPGs as the basis for program representation allows developers to see different views of programs that correspond to different ways of thinking about them, and it allows editors to be created so that the underlying program can be edited using any of the paradigms. As the sole program representation, SPGs also facilitate communication between paradigms: changes made in one view can be immediately reflected in all other views.>

GELO is a package that supports the interactive graphical display of software systems. Its features include built-in panning and zooming, abstraction of objects too small to see, pick correlation, windowing, and scroll bars. GELO creates a hierarchy of graphical objects that correspond to the components of the structure being displayed. Five flavors of graphical objects are supported, including those for simple structures, tiled layouts, and graph-based layouts. This framework is powerful enough to handle a wide variety of graphical visualizations, and it is general enough that new object flavors can be smoothly integrated in the future.