School of Computing

Architectural reconfiguration using coordinated atomic actions

R. de Lemos

In Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006), pages 182-196, May 2006.

Bibtex Record

@inproceedings{2576,
author = {R. de Lemos},
title = {Architectural Reconfiguration using Coordinated Atomic Actions},
month = {May},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2576},
    publication_type = {inproceedings},
    submission_id = {22907_1184170718},
    booktitle = {Proceedings of the ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2006)},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014