Foundations of Component-Based Systems

Name: Foundations of Component-Based Systems
Price: 57.36 USD
Availability: InStock
ISBN: 9780521155694

ISBN-10: 052115569X

ISBN-13: 9780521155694

Edition: 2010

Authors: Gary T. Leavens, Murali Sitaraman

List price: $83.95

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $57.36

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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