Building Reliable Component-based Software SystemsArtech House, 2002 - 413 pagina's Here's a complete guide to building reliable component-based software systems. Written by world-renowned experts in the component-based software engineering field, this unique resource helps you manage complex software through the development, evaluation and integration of software components. You quickly develop a keen awareness of the benefits and risks to be considered when developing reliable systems using components. A strong software engineering perspective helps you gain a better understanding of software component design, to build systems with stronger requirements, and avoid typical errors throughout the process, leading to improved quality and time to market. |
Vanuit het boek
Resultaten 1-5 van 93
Pagina vii
... Software Engineering xxix Challenges of CBSE xxx Components in Reliable Systems xxxiii References xxxvi Part 1: The Definition and Specification of Components 1 1 vii Building Reliable Component-Based Software Systems: Contents vii.
... Software Engineering xxix Challenges of CBSE xxx Components in Reliable Systems xxxiii References xxxvi Part 1: The Definition and Specification of Components 1 1 vii Building Reliable Component-Based Software Systems: Contents vii.
Pagina viii
... Components 17 Frameworks and Contracts 18 Frameworks and Patterns 18 Conclusion 19 Summary 20 References 21 2 Specification of Software Components 23 Introduction 23 Current Component Specification Techniques 24 Specifying the Semantics ...
... Components 17 Frameworks and Contracts 18 Frameworks and Patterns 18 Conclusion 19 Summary 20 References 21 2 Specification of Software Components 23 Introduction 23 Current Component Specification Techniques 24 Specifying the Semantics ...
Pagina xi
... Specification Levels 117 Weak and Strong Contracts 117 Required and Provided Interfaces 118 Levels of Formalism for Semantic Specifications 118 An Example 119 No Semantics 119 Intuitive Semantics 120 Structured Semantics 121 Executable ...
... Specification Levels 117 Weak and Strong Contracts 117 Required and Provided Interfaces 118 Levels of Formalism for Semantic Specifications 118 An Example 119 No Semantics 119 Intuitive Semantics 120 Structured Semantics 121 Executable ...
Pagina xxii
... specification of “how” is at least as important as the specification of “what.” Examples of these classes of systems are reliable systems; safety ... Specification of Components, gives xxii Building Reliable Component-Based Software Systems.
... specification of “how” is at least as important as the specification of “what.” Examples of these classes of systems are reliable systems; safety ... Specification of Components, gives xxii Building Reliable Component-Based Software Systems.
Pagina xxiii
... component models from the point of view of software architecture. • Part 3, Developing Software Components, describes a componentbased development process and certain methods for the successful design and specification of components ...
... component models from the point of view of software architecture. • Part 3, Developing Software Components, describes a componentbased development process and certain methods for the successful design and specification of components ...
Inhoudsopgave
1 | |
3 | |
2 Specification of Software Components 23 | 23 |
Part 2 Software Architecture and Components 39 | 39 |
3 Architecting ComponentBased Systems 41 | 41 |
4 Component Models and Technolgoy 57 | 57 |
Part 3 Developing Software Components 87 | 87 |
5 CBD Process 89 | 89 |
11 Components in ProductLine Architectures 207 | 207 |
12 The Koala Component Model 223 | 223 |
Part 6 RealTime Software Components 237 | 237 |
13 Components in RealTime Systems 239 | 239 |
14 Testing Reusable Software Components in SafetyCritical RealTime Systems 265 | 265 |
15 Providing RealTime Services for COTS Components 281 | 281 |
Part 7 Case StudiesCBD in Industrial Applications 299 | 299 |
16 ComponentBased Embedded Systems 303 | 303 |
6 Semantic Integrity in CBD 115 | 115 |
7 RoleBased Component Engineering 135 | 135 |
Part 4 Using Software Components 155 | 155 |
8 Dispelling the Myth of Component Evaluation 157 | 157 |
9 Component Composition and Integration 179 | 179 |
10 Predicting System Trustworthiness 193 | 193 |
Part 5 Software Product Lines 205 | 205 |
17 Architectural Support for Reuse A Case Study in Industrial Automation 325 | 325 |
18 A Framework for Integrating Business Applications 355 | 355 |
19 Industrial Experience with Dassault Systeme Component Model 375 | 375 |
Contributors 387 | 387 |
Index 399 | 399 |
Overige edities - Alles bekijken
Building Reliable Component-based Software Systems Ivica Crnkovic,Magnus Peter Henrik Larsson Gedeeltelijke weergave - 2002 |
Veelvoorkomende woorden en zinsdelen
abstract Addison-Wesley ADLs analysis approach Aspect Types AspectObject assembly basic behavior CBSE chapter client component evaluation component framework component model component specification component technology component-based software Component-Based Software Engineering component-based systems component’s composition concepts Conf configuration connectors constraints contract CORBA defined dependencies described design patterns discussed domain embedded systems environment example execution extrafunctional fault injection Figure functionality IEEE Computer Society implementation infrastructure input integration interactions interface issues Java JavaBeans Koala language Mälardalen University ment methods Microsoft nent object object-oriented operating system OSGI package parameters performance phase platform ponent ports postconditions priority problem Proc product lines programming properties quality attributes real-time systems reliability requirements reusable reuse roles run-time scheduling selection semantics software architecture software components software development Software Engineering structure synchronization task techniques testing threads tion WCET Windows NT