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
- License
- License undefined
- Identifiers
-
- RERO DOC 22111
- Persistent URL
- https://susi.usi.ch/usi/documents/318332
Statistics
Document views: 11
File downloads:
- ITR0905.pdf: 7