TY - BOOK ID - 77942652 TI - Mathematical frameworks for component software : models for analysis and synthesis AU - He, Jifeng AU - Liu, Zhiming PY - 2006 VL - v. 2 SN - 1281373222 9786611373221 9812772839 9789812772831 9789812700179 981270017X PB - Hackensack, NJ : World Scientific, DB - UniCat KW - Component software KW - Computer software. KW - Software, Computer KW - Computer systems KW - Computer software KW - Mathematical models. UR - https://www.unicat.be/uniCat?func=search&query=sysid:77942652 AB - 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 thi ER -