Component-based software engineering 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /

The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technolog...

Full description

Corporate Authors: CBSE 2009 East Stroudsburg, Pa.)
Other Authors: CBSE 2009, Lewis, Grace A., Poernomo, Iman Hafiz, 1976-, Hofmeister, Christine., SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin : Springer-Verlag, ©2009.
Berlin : [2009]
Physical Description: 1 online resource (x, 273 pages) : illustrations.
Series: Lecture notes in computer science ; 5582.
LNCS sublibrary. Programming and software engineering.
Subjects:
LEADER 08554cam a2201297 a 4500
001 432712589
003 OCoLC
005 20240223121953.0
006 m o d
007 cr cn|||||||||
008 090824s2009 gw a ob 101 0 eng d
019 |a 964888592  |a 1005781288  |a 1044254117  |a 1056382760  |a 1074328951  |a 1077994954  |a 1081237319  |a 1086922081  |a 1162730261  |a 1167248509  |a 1203999178  |a 1262689645 
020 |a 9783642024146 
020 |a 3642024149 
020 |a 9783642024139 
020 |a 3642024130 
035 |a (OCoLC)432712589  |z (OCoLC)964888592  |z (OCoLC)1005781288  |z (OCoLC)1044254117  |z (OCoLC)1056382760  |z (OCoLC)1074328951  |z (OCoLC)1077994954  |z (OCoLC)1081237319  |z (OCoLC)1086922081  |z (OCoLC)1162730261  |z (OCoLC)1167248509  |z (OCoLC)1203999178  |z (OCoLC)1262689645 
037 |a 978-3-642-02413-9  |b Springer  |n http://www.springerlink.com 
040 |a GW5XE  |b eng  |e pn  |c GW5XE  |d WAU  |d C$Q  |d OCLCQ  |d OCLCF  |d BEDGE  |d OHS  |d OCLCO  |d YDXCP  |d OCL  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d VT2  |d DGU  |d UAB  |d ESU  |d BUF  |d CEF  |d U3W  |d WYU  |d LHU  |d OCLCO  |d MERER  |d YOU  |d OL$  |d OCLCQ  |d OCLCO  |d OCLCA  |d WURST  |d OCLCA  |d LUN  |d OCLCQ  |d OCLCO  |d DCT  |d OCLCO  |d COM  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
049 |a COM6 
050 4 |a QA76.758  |b .C39 2009 
060 4 |a QA 76.758 
082 0 4 |a 005.1  |2 22 
084 |a SS 4800  |2 rvk 
084 |a DAT 315f  |2 stub 
111 2 |a CBSE 2009  |d (2009 :  |c East Stroudsburg, Pa.) 
245 1 0 |a Component-based software engineering :  |b 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /  |c Grace A. Lewis, Iman Poernomo, Christine Hofmeister, (eds.). 
246 3 0 |a CBSE 2009. 
260 |a Berlin :  |b Springer-Verlag,  |c ©2009. 
264 1 |a Berlin :  |b Springer-Verlag,  |c [2009] 
264 4 |c ©2009. 
300 |a 1 online resource (x, 273 pages) :  |b illustrations. 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
347 |a text file. 
347 |b PDF. 
490 1 |a Lecture notes in computer science ;  |v 5582. 
490 1 |a LNCS sublibrary. SL 2, Programming and software engineering. 
500 |a Title from PDF title page (SpringerLink, viewed September 9, 2009). 
504 |a Includes bibliographical references and index. 
505 0 |a Component Models: Taxonomies and Applications -- On Component Identification Approaches -- Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. 
520 |a The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto 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?exible 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 scienti?c speculation. Component-based development necessarily involves elements of software - chitecture, modular software design, software veri?cation, testing, con?guration and deployment. This year's submissions represent a cross-section of CBSE - search that touches upon all these aspects. The theoretical foundations of c- ponent speci?cation, composition, analysis, and veri?cation continue to pose research challenges. What exactly constitutes an adequate semantics for c- munication and composition so that bigger things can be built from smaller things? How can formal approaches facilitate predictable assembly through b- ter 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. 
650 0 |a Software engineering  |v Congresses. 
650 0 |a Component software  |v Congresses. 
650 2 |a Software Design. 
650 2 |a Software. 
650 6 |a Génie logiciel  |v Congrès. 
650 6 |a Composants logiciels  |v Congrès. 
650 6 |a Logiciels. 
650 7 |a software.  |2 aat. 
650 7 |a Informatique.  |2 eclas. 
650 7 |a Component software.  |2 fast. 
650 7 |a Software engineering.  |2 fast. 
650 7 |a COTS.  |2 gnd. 
650 7 |a Komponente  |g Software.  |2 gnd. 
650 7 |a Komponentenmodell  |g Software.  |2 gnd. 
650 7 |a Softwareentwicklung.  |2 gnd. 
651 7 |a East Stroudsburg (Pa., 2009)  |2 swd. 
653 0 0 |a modellen. 
653 0 0 |a models. 
653 0 0 |a betrouwbaarheid. 
653 0 0 |a reliability. 
653 0 0 |a programmeren. 
653 0 0 |a programming. 
653 0 0 |a computerwetenschappen. 
653 0 0 |a computer sciences. 
653 0 0 |a programmeertalen. 
653 0 0 |a programming languages. 
653 0 0 |a software engineering. 
653 1 0 |a Information and Communication Technology (General) 
653 1 0 |a Informatie- en communicatietechnologie (algemeen) 
655 2 |a Congress. 
655 7 |a proceedings (reports)  |2 aat. 
655 7 |a Conference papers and proceedings.  |2 fast. 
655 7 |a Conference papers and proceedings.  |2 lcgft. 
655 7 |a Actes de congrès.  |2 rvmgf. 
700 1 |a Lewis, Grace A. 
700 1 |a Poernomo, Iman Hafiz,  |d 1976-  |1 https://id.oclc.org/worldcat/entity/E39PCjJykrCxVqx4dFHJvTHtJC. 
700 1 |a Hofmeister, Christine. 
710 2 |a SpringerLink (Online service) 
776 0 8 |i Print version:  |a CBSE 2009 (2009 : East Stroudsburg, Pa.).  |t Component-based software engineering.  |d Berlin : Springer-Verlag, ©2009  |z 9783642024139  |z 3642024130  |w (DLC) 2009930683  |w (OCoLC)401156265. 
830 0 |a Lecture notes in computer science ;  |v 5582. 
830 0 |a LNCS sublibrary.  |n SL 2,  |p Programming and software engineering. 
907 |a .b29559297  |b multi  |c -  |d 100215  |e 240320 
998 |a (3)cue  |a cu  |b 240227  |c m  |d z   |e -  |f eng  |g gw   |h 0  |i 2 
948 |a MARCIVE Overnight, in 2024.03 
948 |a MARCIVE Comp, in 2022.12 
948 |a MARCIVE Over, 07/2021 
948 |a MARCIVE Comp, 2018.12 
948 |a MARCIVE Comp, 2018.05 
948 |a MARCIVE Comp, 2017.10 
948 |a MARCIVE August, 2017 
948 |a MARCIVE extract Aug 5, 2017 
994 |a 92  |b COM 
995 |a Loaded with m2btab.ltiac in 2024.03 
995 |a Loaded with m2btab.elec in 2024.02 
995 |a Loaded with m2btab.ltiac in 2022.12 
995 |a Loaded with m2btab.ltiac in 2021.07 
995 |a Loaded with m2btab.elec in 2021.06 
995 |a Loaded with m2btab.ltiac in 2018.12 
995 |a Loaded with m2btab.ltiac in 2018.06 
995 |a Loaded with m2btab.ltiac in 2017.10 
995 |a Loaded with m2btab.ltiac in 2017.08 
995 |a Loaded with m2btab.elec in 2016 
995 |a Loaded with m2btab.elec in 2016 
995 |a Loaded with m2btab.ltiac in 2016 
995 |a OCLC offline update by CMU 
999 |e z 
999 |a cue 
989 |d cueme  |e  - -   |f  - -   |g -   |h 0  |i 0  |j 200  |k 240227  |l $0.00  |m    |n  - -   |o -  |p 0  |q 0  |t 0  |x 0  |w SpringerLink  |1 .i150231350  |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-642-02414-6  |3 SpringerLink  |z Click here for access