Meta-Level Reuse for Mastering Domain Specialization

Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen. Meta-Level Reuse for Mastering Domain Specialization. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Volume 9953 of Lecture Notes in Computer Science, pages 218-237, 2016. [doi]

Authors

Stefan Naujokat

This author has not been identified. Look up 'Stefan Naujokat' in Google

Johannes Neubauer

This author has not been identified. Look up 'Johannes Neubauer' in Google

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google