+612 9045 4394
 
CHECKOUT
Foundations of Component-Based Systems - Gary T. Leavens

Foundations of Component-Based Systems

By: Gary T. Leavens (Editor), Murali Sitaraman (Editor)

Paperback

Published: 21st July 2011
RRP $74.95
$66.75
11%
OFF
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

Other Available Formats (Hide)

This collection of top-notch articles by well-known experts brings together, for the first time, key elements of this area that are fast becoming the focus of much current research and practice in computing. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest comprise case studies by architects of prototype systems who present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. An introduction by Clemens Szyperski gives a snapshot of current research in the field.

Review of the hardback: ' ... it is kind of material that is at the cutting edge of computer science and it is on these concepts that future programmes will be basing their work.' Application Development Advisor
Review of the hardback: 'The book is sure to be enthusiastically accepted by anyone professionally involved with component-based systems. The editors have chosen an important task and have done it superbly. The result is an important work, a pleasure and an education to read and consult.' Current Engineering Practice
Review of the hardback: 'The book is well written and, more important, matches one of the current emphases of the software and systems industry. As already indicated, it is quite detailed and thorough, but it could certainly serve well as a text for a graduate-level computer science course. Practitioners and researchers ... will also want to have this book in their libraries.' Charles Schroeder, Computing Reviews

Introduction: component software - a snapshot and future directions
Frameworks and Architectures:
Key concepts in architecture definition languages
Acme: a basis for architectural integration
An extensible language for composition
A framework for a formal and automated approach to component-based reuse
Object-Based Specification and Verification:
Behavioral subtyping
Modular specification and verification techniques for object-oriented software components
Respectful type converters for objects
Formal Models and Semantics:
A formal model of componentware
General semantic spaces for specifications and templates
An implementation-oriented semantics for module composition
Reactive and Distributed Systems:
Composition of reactive system components
The IOA language and toolset: support for mathematics-based distributed programming
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521155694
ISBN-10: 052115569X
Audience: Tertiary; University or College
Format: Paperback
Language: English
Number Of Pages: 324
Published: 21st July 2011
Publisher: Cambridge University Press
Country of Publication: GB
Dimensions (cm): 25.4 x 17.8  x 1.7
Weight (kg): 0.57