Formal Analysis of Object-Oriented Mograms
A mogram designates a software language implemented in either a programming or a modelling language. Object-Oriented mograms share many common language features, but also have specificities related to inheritance, collection values, opposite and contained references, or overloading. We propose a mathematical framework that captures the semantics of such mograms with a precise characterisation of the variation points. We implemented a prototype tool that enables formal analysis in a uniform way.
Tue 20 Jun
|09:30 - 09:50|
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UKPre-print
|09:50 - 10:25|
|10:25 - 10:30|
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, EgyptPre-print