Author:
Caporuscio Mauro,Inverardi Paola,Pelliccione Patrizio
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Buchi, J.R.: On a decision method in restricted second order arithmetic. In: Proc. of the International Congress of Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press, Stanford (1960)
2. Caporuscio, M.: CoMETA - Mobility support in the Siena publish/subscribe middleware. Master’s thesis, Università degli Studi dell’Aquila - Dipartimento di Informatica, L’Aquila - Italy (March 2002)
3. Caporuscio, M., Carzaniga, A., Wolf, A.L.: Design and evaluation of a support service for mobile, wireless publish/subscribe applications. IEEE Transactions on Software Engineering 29(12), 1059–1071 (2003)
4. Caporuscio, M., Inverardi, P., Pelliccione, P.: Compositional verification of middleware-based software architecture descriptions. In: Proceedings of the International Conference on Software Engineering (ICSE 2004), Edimburgh (2004) (to appear)
5. Carzaniga, A., Di Nitto, E., Rosenblum, D.S., Wolf, A.L.: Issues in supporting event-based architectural styles. In: 3rd International Software Architecture Workshop, Orlando, Florida (November 1998)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献