Cargando…
Mathematical frameworks for component software : models for analysis and synthesis /
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 becomin...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hackensack, NJ :
World Scientific,
©2006.
|
| Colección: | Series on component-based software development ;
v. 2. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.