Model-Based Compatibility Checking of System Modifications

  title={Model-Based Compatibility Checking of System Modifications},
  author={Arnd Poetzsch-Heffter and Christoph Feller and Ilham W. Kurnia and Yannick Welsch},
Maintenance and evolution of software systems require to modify or exchange system components. In many cases, we would like the new component versions to be backward compatible to the old ones, at least for the use in the given context. Whereas on the program level formal techniques to precisely define and verify backward compatibility are under development, the situation on the system level is less mature. A system component C has not only communication interfaces to other system components… CONTINUE READING

Similar Papers