, Component-based software engineering -new challenges in software development. Software Focus, 2001.
Software Architecture: a Roadmap, The Future of Software Engineering, pp.91-101, 2000. ,
OMG: Unified modeling language: Superstructure, version 2, IEEE Software, vol.15, issue.5, pp.37-46, 1998. ,
, OMG: Corba components, 2002.
Abstract model of contract-based component assembly (2003) AC-CORD RNTL project number 4 deliverable ,
, , 2004.
SOFA/DCUP: Architecture for component trading and dynamic updating, Proceedings of the Int. Conf. on Configurable Distributed Systems, pp.43-52, 1998. ,
Behavior protocols for software components, IEEE Trans. Softw. Eng, vol.28, issue.11, pp.1056-1076, 2002. ,
Java/A -Taking Components into Java, pp.163-168, 2004. ,
On components with explicit protocols satisfying a notion of correctness by construction, On the Move to Meaningful Internet Systems: Int. Conf. CoopIS, DOA, and ODBASE Proc, vol.2519, pp.995-1012, 2002. ,
, The OMEGA component model. Deliverable of the IST-2001-33522 OMEGA project, 2002.
Static checking of system behaviors using derived component assumptions, ACM Trans. Softw. Eng. Methodol, vol.9, issue.3, pp.239-272, 2000. ,
Archjava: connecting software architecture to implementation, Proceedings of ICSE, pp.187-197, 2002. ,
Verifying the correctness of component-based applications that support business processes, Proc. of the 6th Workshop on CBSE: Automated Reasoning and Prediction, pp.43-48, 2003. ,
Software Architecture for Correct Components Assembly, Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture, vol.2804, pp.92-121, 2003. ,
, Component-Based Software Quality: Methods and Techniques, vol.2693, 2003.