Middleware: a model for distributed system services
Communications of the ACM
Handbook of Process Algebra
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Partial Bindings of Components - Any Harm?
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Repeated results analysis for middleware regression benchmarking
Performance Evaluation - Performance modelling and evaluation of high-performance parallel and distributed systems
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Addressing Unbounded Parallelism in Verification of Software Components
SNPD-SAWN '06 Proceedings of the Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
Checking software component behavior using behavior protocols and spin
Proceedings of the 2007 ACM symposium on Applied computing
Specification and Generation of Environment for Model Checking of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop
Modeling Environment for Component Model Checking from Hierarchical Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Partial Verification of Software Components: Heuristics for Environment Construction
EUROMICRO '07 Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Slicing of component behavior specification with respect to their composition
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Dynamic reconfiguration and access to services in hierarchical component models
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Towards PaaS using service-oriented component model
Proceedings of the Second Asia-Pacific Symposium on Internetware
Hi-index | 0.00 |
Component-based software engineering (CBSE) has become a commonly used development technique. Using it, applications are composed of reusable components with well defined interfaces and behavior. Currently, in the scope of CBSE, research has been driven in huge number of directions and by many research teams. Naturally, such conditions are ideal for mutual cooperation and collaboration. In this paper, we describe our experience with research cooperation, especially in the scope of Europe. We present experience gained during recent joint projects, in which we have participated. Also, we present our research areas and topics and ongoing work on them.