Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
Record 3 of 4
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
Title Mathematical frameworks for component software : models for analysis and synthesis / [edited by] Zhiming Liu, He Jifeng.
Imprint Hackensack, NJ : World Scientific, [2006]

Series Series on component-based software development ; v. 2
Series on component-based software development ; v. 2.
Subject Component software -- Mathematical models.
Computer software.
Alt Name He, Jifeng, 1943-
Liu, Zhiming, 1961-
Description 1 online resource (xii, 354 pages) : illustrations.
polychrome rdacc
Note digitized 2010 HathiTrust Digital Library committed to preserve pda
Bibliography Note Includes bibliographical references and index.
Contents 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.
Access Use copy Restrictions unspecified star
Reproduction Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010.
System Details 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.
Note Print version record.
ISBN 9789812772831 (electronic bk.)
9812772839 (electronic bk.)
OCLC # 299585151
Additional Format Print version: Mathematical frameworks for component software. Hackensack, NJ : World Scientific, ©2006 (DLC) 2007297985

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team