|
|
|
|
LEADER |
03169nmm a2200397 u 4500 |
001 |
EB000379071 |
003 |
EBX01000000000000000232123 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130626 ||| eng |
020 |
|
|
|a 9783540735519
|
100 |
1 |
|
|a Schmidt, Heinz G.
|e [editor]
|
245 |
0 |
0 |
|a Component-Based Software Engineering
|h Elektronische Ressource
|b 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings
|c edited by Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford
|
250 |
|
|
|a 1st ed. 2007
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2007, 2007
|
300 |
|
|
|a XII, 285 p
|b online resource
|
505 |
0 |
|
|a Component-Based Architectures and Change -- Data Encapsulation in Software Components -- Binary Change Set Composition -- Automated and Unanticipated Flexible Component Substitution -- Dynamic Adaptation of Aspect-Oriented Components -- Component Based Game Development – A Solution to Escalating Costs and Expanding Deadlines? -- Quality of Service, Runtime Verification and Monitoring -- Performance Assessment for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation in Distributed Component-Based Software -- A Study of Execution Environments for Software Components -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties and Compositional Reasoning -- A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components -- Integration of Time Issues into Component-Based Applications -- Slicing of Component Behavior Specification with Respect to Their Composition -- An Execution-Level Component Composition Model Based on Component Testing Information -- Web Services, Late Composition and Verification -- Capturing Web Services Provider Constraints – An Algorithmic Approach -- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL -- Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems -- A Framework for Contract-Based Collaborative Verification and Validation of Web Services -- Towards Composing Software Components in Both Design and Deployment Phases
|
653 |
|
|
|a Computer Communication Networks
|
653 |
|
|
|a Compilers (Computer programs)
|
653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
653 |
|
|
|a Compilers and Interpreters
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Programming Techniques
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Computer programming
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a Computer networks
|
700 |
1 |
|
|a Crnkovic, Ivica
|e [editor]
|
700 |
1 |
|
|a Heineman, George T.
|e [editor]
|
700 |
1 |
|
|a Stafford, Judith A.
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Programming and Software Engineering
|
028 |
5 |
0 |
|a 10.1007/978-3-540-73551-9
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-540-73551-9?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.1
|