TY - BOOK ID - 5452298 TI - Software composition : 6th international symposium, SC 2007, Braga, Portugal, March 24-25, 2007, revised selected papers AU - Vanderperren, Wim AU - Lumpe, Markus PY - 2007 SN - 9783540773504 3540773509 3540773517 PB - Berlin, Germany ; New York, New York : Springer, DB - UniCat KW - Component software KW - Software engineering KW - Composants logiciels KW - Génie logiciel KW - Congresses. KW - Congrès KW - Information Technology KW - Software Engineering KW - Computer Science KW - Engineering & Applied Sciences KW - Computer science. KW - Computer communication systems. KW - Software engineering. KW - Computer programming. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Software Engineering. KW - Programming Techniques. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Computer Communication Networks. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer software engineering KW - Engineering KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Informatics KW - Science KW - Programming KW - Distributed processing KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:5452298 AB - On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition (SC2007). The goal of SC 2007 was to bring together the research and industrial communities in order to address the challenges of the component-based software development approach. SC 2007 was the sixth symposium on software composition in the SC series that seeks to develop a better understanding of how software components may be used to build and maintain large software systems. This LNCS volume contains the revised versions of the papers presented at SC 2007, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24–25, 2007. The symposium began with a keynote on “Composition by Anonymous Parties” by Farhad Arbab (CWI and Leiden University). The main program consisted of six technical sessions related to specific aspects of component-based software development. In response to the call for papers, we received 59 submissions from over 20 countries and 6 continents. Each paper was reviewed by at least three Program Committee members. The entire reviewing process was supported by Microsoft’s Conference Management Toolkit. In total, 15 submissions were accepted as full papers and 5 submissions were accepted as short papers. ER -