Preprint

Defining model transformations for property templates

  • Wuttke, Jochen Facoltà di scienze informatiche, Università della Svizzera italiana, Svizzera
    2009

27 p.

English We defined the notion of property templates after we observed that many system failures can be clustered according to their symptoms, and the design constraints these failures violate [PW09]. In this technical report we document the semantics of property templates, and how we implemented these semantics in AspectJ code templates that support assertion generation for Java programs.
Language
  • English
Classification
Computer science and technology
License
License undefined
Identifiers
  • RERO DOC 22111
  • ARK ark:/12658/srd1318332
Persistent URL
https://n2t.net/ark:/12658/srd1318332
Statistics

Document views: 35 File downloads:
  • ITR0905.pdf: 62