Description |
1 online resource (xii, 354 pages) : illustrations. |
Physical Medium |
polychrome |
Description |
text file |
Series |
Series on component-based software development ; v. 2
|
|
Series on component-based software development ; v. 2.
|
Bibliography |
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 MiAaHDL |
Reproduction |
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL |
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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
Processing Action |
digitized 2010 HathiTrust Digital Library committed to preserve MiAaHDL |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Component software -- Mathematical models.
|
|
Component software. |
|
Mathematical models. |
|
Computer software.
|
|
Computer software. |
Genre/Form |
Electronic books.
|
Added Author |
He, Jifeng, 1943-
|
|
Liu, Zhiming, 1961-
|
Other Form: |
Print version: Mathematical frameworks for component software. Hackensack, NJ : World Scientific, ©2006 (DLC) 2007297985 |
ISBN |
9789812772831 (electronic book) |
|
9812772839 (electronic book) |
|
9789812700179 |
|
981270017X |
|