This chapter includes all papers that highlight a technical aspect of a specific feature of the SmartProperties tool.