Carlo Bellettini

Learn More
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reengineering). Since then the scientific community has focused attention to Web application design, development, analysis, testing, by studying and proposing methodologies and tools.(More)
In recent years, automated audio recognition is arising as a relevant issue. One of the most successful approaches has proved to be the Philips method [1], by Haitsma et al.. Our work exploits this framework in order to allow for a better tuning of the algorithm. In particular, we show that more accurate hashes do not always lead to a better performance,(More)
This article describes the state of informatics education in the Italian secondary schools, highlighting how the learning objectives set up by the Ministry of Education are difficult to meet, due to the fact that the subject is often taught by teachers not holding an informatics degree, the lack of suitable teaching material and the expectations of pupils(More)
This article presents a hierarchy-aware classification schema for object-oriented code, where software components are classified according to their <italic>behavioral characteristics</italic>, such as provided services, employed algorithms, and needed data. In the case of reusable application frameworks, these characteristics are constructed from their(More)
Web applications have become very complex and crucial, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reengineering), the scientific community has focused attention to Web application design, development, analysis, and testing, by studying and proposing methodologies and tools. This paper(More)
This article presents a hierarchy-aware classification schema for obje ct-oriented code, where software components are classified according to their <italic>behavioral characteristics</italic>, such as provided services, employed algorithms, and needed data. In the case of reusable application frameworks, these characteristics are constructured from their(More)
We describe a teaching activity about word-processors we proposed to a group of 25 pupils in 9th/10th grades of an Italian secondary school. While the pupils had some familiarity with word-processor operations, they had had no formal instruction about the automatic elaboration of formatted texts. The proposed kinesthetic/tactile activities turned out to be(More)
Real-time systems are becoming increasingly important in the everyday life. The use of such systems for critical applications requires tools and techniques for increasing correctness and reliability of the final product. In this paper, we describe a toolset (Merlot) for analyzing real-time system specifications. Merlot allows the automatic verification of(More)