LEADER 00862nam a2200229 i 4500 001 991002397719707536 008 131210s2010 it 000 0 ita d 020 $a9788896694206 035 $ab14167724-39ule_inst 040 $aDip.to Studi Umanistici - Sez. Filologia Linguistica e Letteratura$bita 082 0 $a853 100 1 $aBernardini, Giovanni$0446059 245 10$aEd io parlo, scrivo e fumo :$b(Inquietudini) /$cGiovanni Bernardini 260 $aCopertino :$bLupo,$c2010 300 $a240 p. ;$c22 cm 440 0$aTopkapi;$v6 907 $a.b14167724$b03-03-14$c10-12-13 912 $a991002397719707536 945 $aLE008 853.9 BER 02.04 $g1$i2008000540418$lle008$og$pE16.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i15580623$z10-12-13 996 $aEd io parlo, scrivo e fumo$9260479 997 $aUNISALENTO 998 $ale008$b10-12-13$cm$da $e-$fita$git $h0$i0 LEADER 05666nam 22008535 450 001 9910484273903321 005 20251226200413.0 010 $a3-540-77351-7 024 7 $a10.1007/978-3-540-77351-1 035 $a(CKB)1000000000490982 035 $a(SSID)ssj0000320097 035 $a(PQKBManifestationID)11214987 035 $a(PQKBTitleCode)TC0000320097 035 $a(PQKBWorkID)10343564 035 $a(PQKB)10575734 035 $a(DE-He213)978-3-540-77351-1 035 $a(MiAaPQ)EBC4976389 035 $a(MiAaPQ)EBC5591113 035 $a(Au-PeEL)EBL4976389 035 $a(CaONFJC)MIL134280 035 $a(OCoLC)1024243268 035 $a(Au-PeEL)EBL5591113 035 $a(OCoLC)232363535 035 $a(MiAaPQ)EBC6806047 035 $a(Au-PeEL)EBL6806047 035 $a(PPN)12373178X 035 $a(EXLCZ)991000000000490982 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware Composition $e6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /$fedited by Markus Lumpe, Wim Vanderperren 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (X, 281 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4829 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-77350-9 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts -- Defining Component Protocols with Service Composition: Illustration with the Kmelia Model -- Composite Contract Enforcement in Hierarchical Component Systems -- Towards a Unifying Theory for Choreography Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic Approach to Workflow Specification and Refinement -- Generic Feature-Based Software Composition -- Composition Management Interfaces for a Predictable Assembly -- Path-Based Error Propagation Analysis in Composition of Software Services -- Session: Dynamic Composition -- Dynamically Adaptable Applications with iPOJO Service Components -- Dynamic Contextual Service Ranking -- Session: Short Papers -- Measuring Reactability of Persistent Computing Systems -- Requirements for Applying Aspect-Oriented Techniques in Web Service Composition Languages -- Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures -- Streamlining Feature-Oriented Designs -- Requirements for Reusable Aspect Deployment -- Session: Aspect-Oriented Programming -- Aspect-Oriented Programming: Selecting and Exposing Object Paths -- Debugging Aspect-Enabled Programs -- Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems -- Session: Structural Composition -- Patterns of Component Evolution -- An Approach for Structural Pattern Composition -- Composite Connectors for Composing Software Components. 330 $aOnbehalfoftheOrganizingCommitteewearepleasedtopresenttheproceedings ofthe2007SymposiumonSoftwareComposition(SC2007).ThegoalofSC2007 wastobringtogethertheresearchandindustrialcommunitiesinordertoaddress the challenges of the component-based softwaredevelopment 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 speci?c 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 Committeemembers.TheentirereviewingprocesswassupportedbyMicrosoft?s Conference Management Toolkit. In total, 15 submissions were accepted as full papers and 5 submissions were accepted as short papers. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4829 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aComputer networks 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Communication Networks 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Communication Networks. 676 $a005.3 702 $aVanderperren$b Wim 702 $aLumpe$b Markus 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484273903321 996 $aSoftware Composition$9771974 997 $aUNINA