Foundations of Component-Based Systems

By: No Information Available

Write A Review

Paperback | 21 July 2011

At a Glance

Paperback
324 Pages

Dimensions(cm)
25.4 x 17.78 x 1.73

Paperback

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 $79.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

Other Editions and Formats

Hardcover

Published: 15th July 2000

View Product

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

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Hardcover

More in Object-Oriented Programming or OOP

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

Statistical Analysis with R For Dummies

For Dummies (Computer/Tech)

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Programming Rust

Fast, Safe Systems Development 2nd Edition

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Learning Python

Powerful Object-Oriented Programming

Head First Python

3rd Edition - A Learner's Guide to the Fundamentals of Python Programming, a Brain-Friendly Guide

Getting Started with Arduino 4e

The Open Source Electronics Prototyping Platform

Mastering Regular Expressions

OREILLY

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

Learning C# 3.0

OREILLY

C# Programming in easy steps

Master C# fundamentals!

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Python in easy steps

In Easy Steps

C++ Primer

Refactoring 2ed

Improving the Design of Existing Code

Objects First with Java 6ed

A Practical Introduction Using BlueJ, Global Edition

97 Things Every Programmer Should Know

OREILLY

The Rust Programming Language Workbook

Interactive Rustlings Exercises and Solutions

Taking Testing Seriously

The Rapid Software Testing Approach

This product is categorised by