Font size:
SOFA 2 related publications
Here you can find publications about SOFA 2 and related topics.
SOFA 2 design, components, connectors,...
- Bures, T., Hnetynka, P., Plasil, F., Klesnil, J., Kmoch, O., Kohan, T., Kotrc, P.: Runtime Support for Advanced Component Concepts, Proceedings of SERA 2007, Busan, Korea, IEEE CS, ISBN 0-7695-2867-8, pp. 337-345, Aug 2007 PDF
- Bures, T., Hnetynka, P., Plasil, F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Proceedings of SERA 2006, Seattle, USA, IEEE CS, ISBN 0-7695-2656-X, pp.40-48, Aug 2006 PDF
- Hnetynka, P., Plasil, F.: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of CBSE 2006, Vasteras near Stockholm, Sweden, LNCS 4063, ISBN 3-540-35628-2, ISSN 0302-9743, pp. 352 - 359, (C) Springer-Verlag, Jun 2006, PDF
Behavior
- Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, vol. 28, no. 11, Nov 2002, WWW
- Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis, Journal of Software Maintenance and Evolution: Research and Practice 17(5), pp. 363-377, DOI: 10.1002/smr.321, Online ISSN: 1532-0618, Print ISSN: 1532-060X, Sep 2005, WWW
- Kofron, J.: Checking Software Components Behavior Using Behavior Protocols and Spin, Proceedings of Applied Computing 2007, Seoul, Korea, ISBN 1-59593-480-4, pp. 1513-1517, Mar 2007, PDF
- Parizek, P., Plasil, F., Kofron, J.: Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, Proceedings of 30th IEEE/NASA Software Engineering Workshop (SEW-30), IEEE CS, ISBN 0-7695-2624-1, ISSN 1550-6215, pp. 133-141, Jan 2007, PDF
Other
Other related publications can be found on the DSRG web page.