The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Software architecture in practice
Software architecture in practice
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
UML components: a simple process for specifying component-based software
UML components: a simple process for specifying component-based software
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Building systems from commerical components
Building systems from commerical components
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
The GenVoca Model of Software-System Generators
IEEE Software
6th Workshop on Component-Oriented Programming
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
The Quest for Efficient Boolean Satisfiability Solvers
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
A new approach for distributed computing in avionics systems
ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Towards a general ontology of configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Guest editorial: automated component-based software engineering
Journal of Systems and Software - Special issue: Automated component-based software engineering
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated reasoning on feature models
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Scalable automatic test data generation from modeling diagrams
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Integration of verification methods for program systems
Programming and Computing Software
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
Proceedings of the IEEE/ACM international conference on Automated software engineering
Components, platforms and possibilities: towards generic automation for MDA
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Using allopoietic agents in replicated software to respond to errors, faults, and attacks
Proceedings of the 48th Annual Southeast Regional Conference
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Synthesizing cyber-physical architectural models with real-time constraints
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Pseudo-Boolean Solving by incremental translation to SAT
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
| Hi-index | 0.00 |
One of the major challenges in the development of large component-based software systems is the system assembly problem: from a sea of available components, which should be selected and how should they be connected, integrated, and assembled so that the overall system requirements are satisfied? We present a powerful framework for automatically solving the system assembly problem directly from system requirements. Our framework includes an expressive language for declaratively describing system-level requirements, including component interfaces and dependencies, resource requirements, safety properties, objective functions, and various types of constraints. We show how to automatically solve system assembly problems using verification technology that takes advantage of current advances in Boolean satisfiability methods. We have implemented our techniques in the CoBaSA tool (Component-Based System Assembly), and we have successfully applied it to several large-scale industrial examples.