Security Engineering for Lifelong Evolvable Systems

Maintaining invariant traceability through bidirectional transformations

TitleMaintaining invariant traceability through bidirectional transformations
Publication TypeConference Proceedings
Year of Publication2012
Refereed DesignationRefereed
AuthorsYu, Y., Y. Lin, Z. Hu, S. Hidaka, H. Kato, and L. Montrieux
Conference Name34th International Conference on Software Engineering