Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study

Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar. Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. In Roger Y. Lee, Naohiro Ishii, editors, Software Engineering Research, Management and Applications 2009 [selected papers from the 7th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2009, Haikou, China, December 2-4, 2009]. Volume 253 of Studies in Computational Intelligence, pages 119-134, Springer, 2009. [doi]

Authors

Heng Kuang

This author has not been identified. Look up 'Heng Kuang' in Google

Olga Ormandjieva

This author has not been identified. Look up 'Olga Ormandjieva' in Google

Stan Klasa

This author has not been identified. Look up 'Stan Klasa' in Google

Noorulain Khurshid

This author has not been identified. Look up 'Noorulain Khurshid' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google