Jörg Oelerink

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Traditionally formal papers bridge interpretation gaps of informal OMG specifications. The papers are often not holistic but rather concentrate on certain aspects of the original specification. This increases often the gap between research and practice because it is difficult to understand and combine different semantic methodologies. This paper formalizes(More)
  • 1