MARC details
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
080713s2006 njua b 001 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2007297985 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9789812700179 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(Sirsi) u733 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
EG-CaNU |
Transcribing agency |
EG-CaNU |
Modifying agency |
EG-CaNU |
042 ## - AUTHENTICATION CODE |
Authentication code |
ncode |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.3 |
Edition number |
22 |
245 00 - TITLE STATEMENT |
Title |
Mathematical frameworks for component software : |
Remainder of title |
models for analysis and synthesis / |
Statement of responsibility, etc. |
[edited by] Zhiming Liu, He Jifeng. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Hackensack, NJ : |
Name of publisher, distributor, etc. |
World Scientific, |
Date of publication, distribution, etc. |
c2006. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xii, 354 p. : |
Other physical details |
ill. ; |
Dimensions |
26 cm. |
490 0# - SERIES STATEMENT |
Series statement |
Series on component-based software development ; |
Volume/sequential designation |
v. 2 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references and index. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Temporal specification of component based systems with polymorphic dynamic reconfiguration -- Coordinated composition of software components -- On the semantics of componentware : a coalgebraic persecutive -- A theory for requirements specification and architecture design -- Component : from mobile to channels -- Formalizing the transition from requirements to design -- rCOS : a relational calculus of components -- Charaterising object-based frameworks in first-order predicate logic -- Formalization in component based development -- A model-driven approach for building business components -- A formal approach to constructing well-behaved systems using components. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
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 volume is its focus on mathematical models that identify the "core" concepts as first class modeling elements, and its providing of techniques for integrating and relating them. The volume contains eleven chapters by well-established researchers writing from different perspectives. Each chapter gives explicit definitions of components in terms of a set of key aspects and addresses some of the problems of integration and analysis of various views: component specification, component composition, component coordination, refinement and substitution, and techniques for solving problems. The concepts and techniques are motivated and explained with the help of examples and case studies |
596 ## - |
-- |
1 |
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
Uniform title |
CIT. |
9 (RLIN) |
14 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Component software |
General subdivision |
Mathematical models. |
9 (RLIN) |
13341 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Liu, Zhiming, |
Dates associated with a name |
1961- |
9 (RLIN) |
1839 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
He, Jifeng, |
Dates associated with a name |
1943- |
9 (RLIN) |
13342 |