794658
9780521771641
This collection of articles by well-known experts moves from theoretical frameworks, models, and systems of notation to case studies by researchers. The emphasis is on advances in the technological infrastructure of component-based systems, how to design and specify reusable components, and how to verify and validate systems from components.Leavens, Gary T. is the author of 'Foundations of Component-Based Systems' with ISBN 9780521771641 and ISBN 0521771641.
[read more]