Defining model transformations for property templates
-
Wuttke, Jochen
Facoltà di scienze informatiche, Università della Svizzera italiana, Svizzera
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
-
-
Classification
-
Computer science
-
License
-
License undefined
-
Identifiers
-
-
Persistent URL
-
https://susi.usi.ch/usi/documents/318332
Statistics
Document views: 11
File downloads: