Paolo Salvaneschi

Learn More
The paper investigates the concept of software “stability” applied to robot systems. We define “stable” a family of systems modelled, designed and implemented so that specific applications of the family may be developed re-using, adapting and specializing knowledge, architecture and existing components. During the last few years, many ideas and technologies(More)
This article's objective is to develop a model for measuring the security strength of dongle-protected software. We believe such a measure is important because it can attach a clear, simple, and understandable monetization number to security. Dongles are USB keys or small boxes attached to the host parallel port. The copy-protected application interacts(More)
Abstract An approach to the modelling of systems in civil engineering is presented. It allows the integration of quantitative relations in a qualitative causal framework which uses objects and Petri nets to represent the device and process ontologies. This approach supports the modelling and simulation of the behaviour of a physical system and causal(More)
The paper describes the results of a project which aims to improve the capabilities of an information system (IS) which supports the management of safety of dams. The improvement has been achieved through the incorporation of additional components developed using artificial intelligence concepts and technologies. We describe the pre-existing IS (comprised(More)
In this paper we present an application that exploits a geographic information system as a front-end of a complex information system supporting the management of landslide hazard in Valtellina, an alpine valley in Northern Italy. A decision support system (EYDENET, operational since October 1996), incorporating a geographic information system and a data(More)
Scientific and engineering software is often produced by integration of existing software components of the size of a whole program. However, on the average, scientific software was not developed for reusability and is quite distant from the user model of the application problem; integration and retrofitting is as such a costly process. An architecture,(More)
The paper compares the models used for software quality evaluation to the modelling approach of other engineering fields. The conclusion is that, while large efforts have been devoted to the definition of measurable attributes and related measures, product models specifically developed for measuring quality characteristics are until now not sufficiently(More)
We propose a set of functional test patterns for testing a class of repository-style information systems. This class, which we call “workflow-based”, implements not only functions reading and writing from/to the database, but also workflows (business processes) that may be constrained by states of application objects. Patterns are based on(More)
With regard to the problems of safety of civil engineering structures, the technology of <italic>knowledge-based systems</italic> can provide new tools to manage the problem complexity and to assist safety experts and operators. The approach of the so called <italic>second-generation</italic> or <italic>deep-knowledge</italic> expert systems extends the(More)