Asset Details

  • Description:
  • Overview of the build-system DSL for manipulating Automake models
  • License:
  • Rights Managed
  • Rights Holder:
  • Springer Nature
  • License Rights Holder:
  • © Springer-Verlag GmbH Germany, part of Springer Nature 2019
  • Asset Type:
  • Image
  • Asset Subtype:
  • Table
  • Image Orientation:
  • Portrait
  • Image Dimensions:
  • 1024 x 1698
  • Image File Size:
  • 451 KB
  • Creator:
  • Vítor Rodrigues, Simone Donetti, Ferruccio Damiani
  • Credit:
  • Rodrigues, V., Donetti, S., & Damiani, F. (2019). Certifying delta-oriented programs. Software & Systems Modeling, 18(5), 2875-2906. https://doi.org/10.1007/s10270-018-00704-x.
  • Collection:
  • Keywords:
  • Model-driven development, Delta-oriented programming, Safety properties, Proof-carrying code, Runtime systems
  • Restrictions:
  • Property Release:
  • No
  • Model Release:
  • No
  • Purchasable:
  • Yes
  • Sensitive Materials:
  • No
  • Article Authors:
  • Vítor Rodrigues, Simone Donetti, Ferruccio Damiani
  • Article Copyright Year:
  • 2019
  • Publication Volume:
  • 18
  • Publication Issue:
  • 5
  • Publication Date:
  • 12/18/2018
  • DOI:
  • https://doi.org/10.1007/s10270-018-00704-x

Click on image to enlarge

Would you like to download this asset? Tell us more and we can generate a quote, license and downloadable file.

Add to Cart