Extraktion von frame conditions aus operation contracts

Translated title of the contribution: Extracting frame conditions from operation contracts

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Translated title of the contributionExtracting frame conditions from operation contracts
Original languageGerman
Title of host publicationSoftware Engineering 2016
EditorsJens Knoop, Uwe Zdun
PublisherGesellschaft fur Informatik (GI)
Pages89-90
Number of pages2
ISBN (Electronic)9783885796466
StatePublished - 2016
Externally publishedYes
EventSoftware Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016 - Wien, Austria
Duration: 23 Feb 201626 Feb 2016

Publication series

NameLecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
VolumeP252
ISSN (Print)1617-5468
ISSN (Electronic)2944-7682

Conference

ConferenceSoftware Engineering-Konferenz, SE 2016 - Software Engineering Conference, SE 2016
Country/TerritoryAustria
CityWien
Period23/02/1626/02/16

Cite this