I am happy to announce that next Tuesday (the 4th of October), Kevin Lano will hold the discussion about " Program Translation using Model-driven Engineering".
You’ll find the Zoom link below!
The porting or translation of software applications from one programming language to another is a common requirement of organisations that utilise software, and the increasing number and diversity of programming languages make this capability as relevant today as in previous decades.
Several approaches have been used to address this challenge, including machine learning and the manual definition of explicit translation rules, however, the accuracy of these approaches remains unsatisfactory. In this talk, a new approach to program translation is described using model-driven engineering (MDE) techniques: reverse-engineering source programs into specifications in the UML and OCL formalisms, and then forward-engineering the specifications to the required target language. This approach can provide assurance of semantic preservation, and additionally has the advantage of extracting specifications of software from code. The approach is evaluated based on a dataset of real program examples, including industrial cases.
Dr Lano has been involved in the field of software languages for over 30 years. He devised the Z++ extension of Z, and worked on the semantics of UML, OCL and model transformation languages. He has also been involved in software reverse-engineering, re-engineering and verification research. He leads a research team of 3 RAs and 5 PhD students at King’s College.
To avoid other security issues is now necessary to register for the meeting. The registration should be necessary just once and be valid for all the next meetings you will participate in. I understand it is a little extra effort, but it would avoid problems like the ones we encountered:
After registering, you will receive a confirmation email containing information about joining the meeting. It will also permit you to add it to your calendar.
It is hosted on Zoom at 5 PM GMT+1/CEST (you can use this link to figure out which time is in your timezone: Dateful Time Zone Converter).