LEADER 00957nam0-22003251i-450- 001 990004991680403321 005 20120521183548.0 035 $a000499168 035 $aFED01000499168 035 $a(Aleph)000499168FED01 035 $a000499168 100 $a19990604d1969----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aaf------00--- 200 1 $a<
  • >due Orfei$eda Poliziano a Monteverdi$fNino Pirrotta$gcon un saggio critico sulla scenografia di Elena Povoledó 210 $aTorino$cEinaudi$d1969 215 $aXIX, 472 p., 41 c. di tav.$cill.$d22 cm 225 1 $aSaggi$v556 610 0 $aMusica vocale 676 $a782$v21$zita 700 1$aPirrotta,$bNino$f<1908-1998>$0176286 702 1$aPovoledo,$bElena 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004991680403321 952 $a782 PIR 1 BIS$bFil. Mod. 28976$fFLFBC 959 $aFLFBC 996 $aDue Orfei$9277544 997 $aUNINA LEADER 00718nam0-22002771i-450- 001 990006371180403321 005 19980601 035 $a000637118 035 $aFED01000637118 035 $a(Aleph)000637118FED01 035 $a000637118 100 $a19980601d1959----km-y0itay50------ba 105 $a--------00-yy 200 1 $aLoki$fGeorges Dumezil. 210 $aDarmstadt$cWissenschaftliche Buchgesellschaft$d1959 215 $aXX,, 244 p.$d24 cm 676 $a291.211 700 1$aDumézil,$bGeorges$0375579 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006371180403321 952 $aXVII 153$b60122$fFGBC 959 $aFGBC 996 $aLoki$9177054 997 $aUNINA DB $aGIU01 LEADER 07072nam 22008055 450 001 9910768173103321 005 20251116234450.0 010 $a1-280-30753-6 010 $a9786610307531 010 $a3-540-24774-2 024 7 $a10.1007/b97813 035 $a(CKB)1000000000212376 035 $a(DE-He213)978-3-540-24774-6 035 $a(SSID)ssj0000127356 035 $a(PQKBManifestationID)11159610 035 $a(PQKBTitleCode)TC0000127356 035 $a(PQKBWorkID)10074178 035 $a(PQKB)10610347 035 $a(MiAaPQ)EBC3088490 035 $a(PPN)155181661 035 $a(EXLCZ)991000000000212376 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComponent-Based Software Engineering $e7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings /$fedited by Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 312 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3054 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-21998-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Putting Change at the Center of the Software Process -- Interface Specification: A Balancing Act -- Generation and Adaptation of Component-Based Systems -- An Open Component Model and Its Support in Java -- Software Architectural Support for Disconnected Operation in Highly Distributed Environments -- Using Smart Connectors to Resolve Partial Matching Problems in COTS Component Acquisition -- Correctness of Component-Based Adaptation -- Strategies for a Component-Based Self-adaptability Model in Peer-to-Peer Architectures -- Tools and Building Framework -- Classifying Software Component Interoperability Errors to Support Component Adaption -- Correct Components Assembly for a Product Data Management Cooperative System -- The Release Matrix for Component-Based Software Systems -- Viewpoints for Specifying Component-Based Systems -- CMEH: Container Managed Exception Handling for Increased Assembly Robustness -- A Framework for Constructing Adaptive Component-Based Applications: Concepts and Experiences -- Testing Framework Components -- Components for Real-Time Embedded Systems -- Industrial Requirements on Component Technologies for Embedded Systems -- Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems -- Design Accompanying Analysis of Component-Based Embedded Software -- Introducing a Component Technology for Safety Critical Embedded Real-Time Systems -- A Hierarchical Framework for Component-Based Real-Time Systems -- Extra-Funtional Properties of Components and Component-Based Systems -- Extra-Functional Contract Support in Components -- CB-SPE Tool: Putting Component-Based Performance Engineering into Practice -- Component Technology and QoS Management -- Computational Quality of Service for Scientific Components -- A Framework for Reliability Assessment of Software Components -- Measurements and Prediction Models for Component Assemblies -- Performance Prediction for Component Compositions -- TESTEJB ? A Measurement Framework for EJBs -- Model-Based Transaction Service Configuration for Component-Based Development. 330 $aComponent-based software engineering (CBSE) is concerned with the devel- ment of software-intensive systems from reusable parts (components), the dev- opmentofsuchreusableparts,andthemaintenanceandimprovementofsystems by means of component replacement and customization. Although it holds c- siderable promise, there are still many challenges facing both researchers and practitioners in establishing CBSE as an e?cient and proven engineering dis- pline. Six CBSE workshops have been held consecutively at the most recent six International Conferences on Software Engineering (ICSE). The premise of the last three CBSE workshops was that the long-term success of component-based development depends on the viability of an established science and technology foundation for achieving predictable quality in component-based systems. TheintentoftheCBSE2004symposiumwastobuildonthispremise,andto provide a forum for more in-depth and substantive treatment of topics perta- ing to predictability, to help establish cross-discipline insights, and to improve cooperation and mutual understanding. The goal of the CBSE 2004 symposium was to discuss and present more complete and mature works, and consequently collect the technical papers in published proceedings. The response to the Call for Papers was beyond expectations: 82 papers were submitted. Of those 25 (12 long and 13 short) were accepted for publication. In all 25 cases, the papers were reviewed by three to four independent reviewers. The symposium brought together researchers and practitioners from a variety of disciplines related to CBSE. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3054 606 $aSoftware engineering 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers) 615 0$aComputer logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.1 702 $aCrnkovic$b Ivica$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStafford$b Judith A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchmidt$b Heinz W$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWallnau$b Kurt$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aLINK (Online service) 712 12$aCBSE 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768173103321 996 $aComponent-Based Software Engineering$9772376 997 $aUNINA