عنوان

Mathematical frameworks for component software :

شابک

9789812772831

شابک

9812772839

شابک اشتباه

9789812700179

شابک اشتباه

981270017X

شماره

b794731

عنوان اصلي

Mathematical frameworks for component software :

نام عام مواد

[Book]

ساير اطلاعات عنواني

models for analysis and synthesis /

نام نخستين پديدآور

[edited by] Zhiming Liu, He Jifeng.

محل نشرو پخش و غیره

Hackensack, NJ :

نام ناشر، پخش کننده و غيره

World Scientific,

تاریخ نشرو بخش و غیره

©2006.

نام خاص و کميت اثر

1 online resource (xii, 354 pages) :

ساير جزييات

illustrations.

عنوان فروست

Series on component-based software development ;

مشخصه جلد

v. 2

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

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

متن يادداشت

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.

متن يادداشت

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.

عنوان

Mathematical frameworks for component software.

موضوع مستند نشده

Component software-- Mathematical models.

موضوع مستند نشده

Computer software.

موضوع مستند نشده

Computer software.

موضوع مستند نشده

REFERENCE-- General.

موضوع مستند نشده

REF-- 000000

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

He, Jifeng,1943-

مستند نام اشخاص تاييد نشده

Liu, Zhiming,1961-

تاريخ عمليات

20201207075029.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y