Alexandru F. Iosif-Lazar

Learn More
Software modernization often involves complex code transformations that convert legacy code to new architectures or platforms, while preserving the semantics of the original programs. We present the lessons learnt from an industrial software modernization project of considerable size. This includes collecting requirements for a code-to-model transformation,(More)
Producing quality applications has always been a difficult challenge for software developers. Over the years, many solutions have been suggested for dealing with this issue such as evolved features for programming languages and various design and development methodologies. Design by Contract is an approach for designing software based on formal(More)
  • 1