Task 7.2: Determining the restrictions needed for model increments

The above argumentation, explained for verification in the previous topic, actually holds for any formal computation about the model designed to help the software engineer: they should all take into account the verification work already done and reuse it as much as possible when the model is subject to incremental changes (i.e., when the model evolves). In order to address the above problem, however, we need to make some restrictions on the form of increments. Indeed, a fully general increment could destroy the old system and put in a brand new one, in which case there is no hope to preserve anything. The goal of this topic is to determine the kinds of restrictions needed to asses the increments’ impact on formal properties of the model.

wp7/t7.2/index.txt · Last modified: 2007/10/18 17:19 by pys