A Case Study in Parallel Verification of Component-Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
State dependence in performance evaluation of component-based software systems
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Checking architectural compliance in component-based systems
Proceedings of the 2010 ACM Symposium on Applied Computing
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A formal approach for the specification and verification of trustworthy component-based systems
Journal of Systems and Software
A framework for multi-level SLA management
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Combining clustering and pattern detection for the reengineering of component-based software systems
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Modal interface theories for communication-safe component assemblies
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Specification and validation of behavioural protocols in the rCOS modeler
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Validating model-driven performance predictions on random software systems
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Refinement and asynchronous composition of modal petri nets
Transactions on Petri Nets and Other Models of Concurrency V
H: A component-based specification language for heterogeneous applications
Computer Standards & Interfaces
Delta-Oriented monitor specification
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
On explaining modeling principles with modeling examples: a classification catalog
Proceedings of the 8th edition of the Educators' Symposium
| Hi-index | 0.02 |
This volume defines a common example for modelling approaches of component based systems. It is based on the Dagstuhl research seminar CoCoME (Common Component Modelling Example), which was held from August 1-3, 2007, at Schloss Dagstuhl, Germany. The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. It serves as a platform for the classification of existing models and approaches and the interchange of research ideas, enabling researchers to focus and to tackle aspects less frequently dealt with. The CoCoME project is an ongoing venture, one of the aims of which is the adoption of the Common Component Modelling Example by the entire component community as a means of comparing and validating their approaches.