Foundations of Component-Based Systems

By: No Information Available

Write A Review

Hardcover | 21 July 2011

At a Glance

Hardcover
324 Pages

Dimensions(cm)
25.4 x 17.78 x 1.73

Hardcover

RRP $101.95

$90.75

11%OFF

or 4 interest-free payments of $22.69 with

Ships in 5 to 7 business days

This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and 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. Thus the book shows how theory might move into practice.

Industry Reviews

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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Software Engineering Object-Oriented Programming or OOP

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.

Foundations of Component-Based Systems

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

Digital Innovation and Organizational Transformation

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol. 2

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, AI, Cloud, and Microservices

Advances in Computational Intelligence. MICAI 2025 International Workshops

HIS 2025, CIAPP 2025, WILE 2025, CHARAL 2025, ECSI 2025 Workshops, Guanajuato, Mexico, November 3â"7, 2025, Proceedings, Part I

Fit for Uncertainty

Lead with Purpose, Adapt to Change

The Ghidra Book, 2nd Edition

The Definitive Guide

The Essence of Software Engineering

Site Reliability Engineering

How Google Runs Production Systems

Building Microservices

Designing Fine-Grained Systems 2nd Edition

C# 12 in a Nutshell

The Definitive Reference

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

User Story Mapping

Discover the Whote Story, Build the Right Product

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Design Patterns

Elements of Reusable Object-Oriented Software

AI and ML for Coders in Pytorch

A Coder's Guide to Generative AI and Machine Learning

Coding All-in-One For Dummies

2nd Edition

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino For Dummies

Blackwell Philosophy Anthologies

Architectural Approach to Level Design

Second edition

Typescript Cookbook

Real World Type-Level Programming

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Information and Communication Systems

This product is categorised by