LEADER 06604nam 22007455 450 001 9910483076403321 005 20251226202812.0 010 $a3-540-35629-0 024 7 $a10.1007/11783565 035 $a(CKB)1000000000233035 035 $a(SSID)ssj0000316752 035 $a(PQKBManifestationID)11258260 035 $a(PQKBTitleCode)TC0000316752 035 $a(PQKBWorkID)10275488 035 $a(PQKB)11430448 035 $a(DE-He213)978-3-540-35629-5 035 $a(MiAaPQ)EBC3068102 035 $a(PPN)123136261 035 $a(EXLCZ)991000000000233035 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComponent-Based Software Engineering $e9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /$fedited by Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 396 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4063 300 $a"... 2006 Symposium on Component-Based Software Engineering (CBSE)."--Pref. 311 08$a3-540-35628-2 320 $aIncludes bibliographical references and index. 327 $aFull Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions -- Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System -- Verification of Component-Based Software Application Families -- Multi Criteria Selection of Components Using the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine Architecture -- Architectural Building Blocks for Plug-and-Play System Design -- A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development -- Designing Software Architectures with an Aspect-Oriented Architecture Description Language -- A Component Model Engineered with Components and Aspects -- CBSE in Small and Medium-Sized Enterprise: Experience Report -- Supervising Distributed Black Boxes -- Generic Component Lookup -- Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture -- A Formal Component Framework for Distributed Embedded Systems -- A Prototype Tool for Software Component Services in Embedded Real-Time Systems -- Service Policy Enhancements for the OSGi Service Platform -- A Process for Resolving Performance Trade-Offs in Component-Based Architectures -- A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems -- Impact of Virtual Memory Managers on Performance of J2EE Applications -- On-Demand Quality-Oriented Assistance in Component-Based Software Evolution -- Components Have Test Buddies -- Short Papers -- Defining ?Predictable Assembly? -- A Tool to Generate an Adapter for the Integration of Web Services Interface -- A QoS Driven DevelopmentProcess Model for Component-Based Software Systems -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access to Services in Hierarchical Component Models -- MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications -- Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring -- Towards Encapsulating Data in Component-Based Software Systems -- Virtualization of Service Gateways in Multi-provider Environments. 330 $aOn behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. CBSE 2006 was the ninth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicated Program Committee comprising 27 internationally recognized researchers and industrial practitioners. We received 77 submissions and each paper was reviewed by at least three Program Committee members (four for papers with an author on the Program Committee). The entire reviewing process was supported by Microsoft?s CMT technology. In total, 22 submissions were accepted as full papers and 9 submissions were accepted as short papers. This was the first time CBSE was not held as a co-located event at ICSE. Hence special thanks are due to Ivica Crnkovic for hosting the event. We also wish to thank the ACM Special Interest Group on Software Engineering (SIGSOFT) for their sponsorship of CBSE 2005. The proceedings you now hold were published by Springer and we are grateful for their support. Finally, we must thank the many authors who contributed the high-quality papers contained within these proceedings. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4063 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.1 701 $aGorton$b Ian$0893352 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483076403321 996 $aComponent-based software engineering$94187520 997 $aUNINA LEADER 04641nam 22008175 450 001 9910484097603321 005 20251226203030.0 010 $a3-642-01924-2 024 7 $a10.1007/978-3-642-01924-1 035 $a(CKB)1000000000753988 035 $a(SSID)ssj0000319807 035 $a(PQKBManifestationID)11243378 035 $a(PQKBTitleCode)TC0000319807 035 $a(PQKBWorkID)10338583 035 $a(PQKB)11096269 035 $a(DE-He213)978-3-642-01924-1 035 $a(MiAaPQ)EBC3064291 035 $a(PPN)136306411 035 $a(EXLCZ)991000000000753988 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReliable Software Technologies - Ada-Europe 2009 $e14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings /$fedited by Fabrice Kordon, Yvon Kermarrec 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XIV, 283 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5570 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-01923-4 320 $aIncludes bibliographical references and index. 327 $aRequirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition. 330 $aThis book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5570 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aElectronic digital computers$xEvaluation 606 $aComputers 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aSystem Performance and Evaluation 606 $aHardware Performance and Reliability 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aSystem Performance and Evaluation. 615 24$aHardware Performance and Reliability. 676 $a005.13322gerDNB 686 $aDAT 263f$2stub 686 $aDAT 343f$2stub 686 $aDAT 356f$2stub 686 $aSS 4800$2rvk 701 $aKordon$b Fabrice$0863535 701 $aKermarrec$b Yvon$01759786 712 12$aAda-Europe International Conference on Reliable Software Technologies 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484097603321 996 $aReliable software technologies - Ada-Europe 2009$94198432 997 $aUNINA