Foundation Component-Based System

By: Gary T. Leavens (Editor), Murali Sitaraman (Editor)

Write A Review

Hardcover | 15 July 2000

At a Glance

Hardcover
324 Pages

Dimensions(cm)
25.4 x 17.78 x 1.91

Hardcover

RRP $161.95

$144.75

11%OFF

or 4 interest-free payments of $36.19 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

' ... 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 '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 '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 $49.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 Software Engineering Object-Oriented Programming or OOP Programming & Scripting Languages

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.

Foundation Component-Based System

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Challenges and Solutions in Internet of Things-Based Smart Applications

Data Structures for Engineers and Scientists Using Python

Python Programming

A Step-by-Step Guide to Learning the Language

Learning Go

An Idiomatic Approach to Real-World Go Programming

Python All-in-One For Dummies

3rd Edition

Introduction to Programming Languages

Swift

The Practical Guide

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

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

For Dummies

Effective Modern C++

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

Fundamentals of Python

3rd Edition - First Programs

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Coding All-in-One For Dummies

2nd Edition

C# 10.0 All-in-One For Dummies

For Dummies (Computer/Tech)

Effective Typescript

83 Specific Ways to Improve Your Typescript

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Python Automation For Dummies

For Dummies (Computer/Tech)

Python Cookbook

Recipes for Mastering Python : 3rd Edition

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

This product is categorised by