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 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: