On refinement of software architectures

Although increasingly popular, software component techniques still lack suitable formal foundations on top of which rigorous methodologies for the description and analysis of software architectures could be built. This paper aims to contribute in this direction: building on previous work by the auth...

Full description

Bibliographic Details
Main Author: Meng, Sun (author)
Other Authors: Barbosa, L. S. (author), Naixiao, Zhang (author)
Format: conferencePaper
Language:eng
Published: 2005
Subjects:
Software component
Software architecture
Refinement
Coalgebra
Science & Technology
Online Access:http://hdl.handle.net/1822/6292
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/6292

Internet

http://hdl.handle.net/1822/6292

Similar Items