عنوان

Mathematical frameworks for component software :

(Number (ISBN

9789812772831

(Number (ISBN

9812772839

Erroneous ISBN

9789812700179

Erroneous ISBN

981270017X

Number

b794731

Title Proper

Mathematical frameworks for component software :

General Material Designation

[Book]

Other Title Information

models for analysis and synthesis /

First Statement of Responsibility

[edited by] Zhiming Liu, He Jifeng.

Place of Publication, Distribution, etc.

Hackensack, NJ :

Name of Publisher, Distributor, etc.

World Scientific,

Date of Publication, Distribution, etc.

©2006.

Specific Material Designation and Extent of Item

1 online resource (xii, 354 pages) :

Other Physical Details

illustrations.

Series Title

Series on component-based software development ;

Volume Designation

v. 2

Text of Note

Includes bibliographical references and index.

Text of Note

Temporal specification of component based systems with polymorphic dynamic reconfiguration / N. Aguirre and T. Maibaum -- Coordinated composition of software components / F. Arbab -- On the semantics of componentware : a coalgebraic persecutive / L.S. Barbosa [and others] -- A theory for requirements specification and architecture design / M. Broy -- Component : from mobile to channels / F.S. de Boer, M.M. Bonsangue, and J.V. Guillen-Scholten -- Formalizing the transition from requirements to design / R.G. Dromey -- rCOS : a relational calculus of components / Z. Liu, J. He, and X. Li -- Characterising object-based frameworks in first-order predicate logic / S.-M. Ho and K.-K. Lau -- Formalization in component based development / J.P. Holmegaard [and others] -- A model-driven approach for building business components / V. Kulkarni and S. Reddy -- A formal approach to constructing well-behaved systems using components / S. Moschoyiannis, J. Küster-Filipe, and M.W. Shields.

0

Text of Note

The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becoming clearer, including the consistent integration of different views of a component, component composition, component coordination and transformation for platforms. However, we still know little about theories that support analysis and synthesis of component-based systems. The distinct feature of this.

Text of Note

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Title

Mathematical frameworks for component software.

Component software-- Mathematical models.

Computer software.

Computer software.

REFERENCE-- General.

REF-- 000000

Number

Edition

Class number

Book number

He, Jifeng,1943-

Liu, Zhiming,1961-

Date of Transaction

20201207075029.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y