Skip to content

Foundations of Component-Based Systems

Spend $50 to get a free movie!

ISBN-10: 052115569X

ISBN-13: 9780521155694

Edition: 2010

Authors: Gary T. Leavens, Murali Sitaraman

List price: $83.95
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $83.95
Copyright year: 2010
Publisher: Cambridge University Press
Publication date: 7/21/2011
Binding: Paperback
Pages: 324
Size: 7.01" wide x 10.00" long x 0.67" tall
Weight: 1.254
Language: English

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