Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technology for the assembly of flexible software systems. In essence, CBSE is about composing computational building blocks to construct larger building blocks that ful?ll client needs. Most software engineers are involved in some form of component-based development. Nonetheless, the implications of CBSE adoption are wide-reaching and its challenges grow in tandem with its uptake, continuing to inspire our scientific speculation. Component-based development necessarily involves elements of software architecture, modular software design, software verification, testing, configuration and deployment. This year’s submissions represent a cross-section of CBSE - search that touches upon all these aspects. The theoretical foundations of component specification, composition, analysis, and verification continue to pose research challenges. What exactly constitutes an adequate semantics for communication and composition so that bigger things can be built from smaller things? How can formal approaches facilitate predictable assembly through better analysis? We have grouped the proceedings into two sub-themes that deal with these issues: component models and communication and composition. At the same time, the world is changing.

Software engineering --- Component software --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Computer science. --- Computer software --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Performance and Reliability. --- Logics and Meanings of Programs. --- Reusability. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Reusability of software --- Reusable code (Computer programs) --- Software reusability --- Software reengineering --- Generic programming (Computer science) --- Informatics --- Science --- Computer science logic --- Logic, Symbolic and mathematical --- Programming --- Operating systems (Computers). --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer operating systems --- Disk operating systems --- Systems software --- Operating systems --- Computer software—Reusability. --- East Stroudsburg (Pa., 2009)