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)
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)
We introduce a technique for reach ability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real time systems where time constraints are expressed as intervals, representing possible transition firing times, whose bounds are functions of marking's time description. The technique consists of building a symbolic reach ability graph relying on(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)
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)
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)
Many organizations using agile processes would like to adopt a process measurement framework, e.g. for assessing their process maturity. In this paper we propose a meta-model supporting derivation of specific data models for agile development processes. Then, we show how our meta-model can be used to derive a model of the Scrum process.
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)
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)