Achieving a Better Middleware Design through Formal Modeling and Analysis

Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He. Achieving a Better Middleware Design through Formal Modeling and Analysis. In Kang Zhang, George Spanoudakis, Giuseppe Visaggio, editors, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, July 5-7, 2006. pages 463-468, 2006.

Authors

Weixiang Sun

This author has not been identified. Look up 'Weixiang Sun' in Google

Tianjun Shi

This author has not been identified. Look up 'Tianjun Shi' in Google

Gonzalo Argote-Garcia

This author has not been identified. Look up 'Gonzalo Argote-Garcia' in Google

Yi Deng

This author has not been identified. Look up 'Yi Deng' in Google

Xudong He

This author has not been identified. Look up 'Xudong He' in Google