We describe a Unified Modelling Language (UML) diagramming tool that uses an E-whiteboard, pen-based sketching interface to support collaborative design. Our tool allows designers to sketch UML visual modelling language constructs, mixing different UML diagram components, free-hand annotations and hand-written text. A key novelty of our approach is the preservation of handdrawn diagrams and sup...

The Uniied Modeling Language UML is a language for specifying , visualizing and documenting object-oriented systems. UML combines the concepts of OOA/OOD, OMT and OOSE and is intended as a standard in the domain of object-oriented analysis and design. Due to the missing formal, mathematical foundation of UML the syntax and the semantics of a number of UML constructs are not precisely deened. Th...

Qualitative modeling concerns the representations and reasoning that people use to understand continuous aspects of the world. Qualitative models formalize everyday notions of causality and provide accounts of how to ground symbolic, relational representations in perceptual processes. This article surveys the basic ideas of qualitative modeling and their applications from a cognitive science pe...

Mathematics plays a crucial role in physics. This role is brought about predominantly through the building, employment, and assessment of mathematical models, and teachers and educators should capture this relationship in the classroom in an effort to improve students’ achievement and attitude in both physics and mathematics. But although there are overwhelming amounts of literature on modeling...

Department of Pure and Applied Mathematics, University of Padova, Italy In this report we present preliminary results of a study on the relationship between informal out-of-school and formal in-school mathematics and the ways each can inform the other in the development of new mathematical knowledge, in this case concerning computation in base 12, 24 or 60. This study is based on a teaching exp...

The investigation of mathematical cognition in developmental psychology has been primarily confined to the study of numerical cognition— basic facts involving quantity, such as the acquisition of number words and some competences for numerical estimation and calculation. But mathematics is much more than simple counting numbers and basic arithmetic. Mathematics, seen by many as the queen of sci...

Databases with both object-oriented and deductive features (DOOD) seem to be the most promising database technology. There are successful approaches to designing such systems. However, the resulting systems, in our opinion, still lack several important properties of fullfeatured DOOD’s. Realizing that some practical problems cannot be tackled with the former implementations, we reconsidered the...

Constructive Mathematics might be regarded as a fragment of classical mathematics in which any proof of an existence theorem is equipped with a computable function giving the solution of the theorem. Limit Computable Mathematics (LCM) considered in this note is a fragment of classical mathematics in which any proof of an existence theorem is equipped with a function computing the solution of th...