Publikation

Extraktion von Frame Conditions aus Operation Contracts

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille

In: SE Software Engineering für Smart Cities. Software Engineering für Smart Cities (SE-2016) February 23-26 Wien Austria 2016.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence