The Community for Technology Leaders
Proceedings of HCC 2001. IEEE Symposium on Human-Centric Computing Languages and Environments (2001)
Stresa, Italy
Sept. 5, 2001 to Sept. 7, 2001
ISBN: 0-7803-7198-4
pp: 304-311
P.T. Cox , Dalhousie Univ., Halifax, NS, Canada
ABSTRACT
In an effort to manage increasing complexity and to maximise the reuse of code, the software engineering community has recently put a considerable effort into the design and development of component-based software development systems and methodologies. The concept of building software from existing components arose by analogy with the way that hardware is now designed and built, using cheap, reliable standard "off-the-shelf" modules. Due to the analogy with wiring hardware components, the component-based software development is a natural candidate for visual expression. Various component software technologies have emerged as a result of this attention, but their evolution has been rather ad hoc. In fact, some systems are defined purely by their implementation with little or no precise definition. In an attempt to address this shortcoming, we propose a well-defined syntax and semantics for a component software model that captures the essential concepts.
INDEX TERMS
distributed object management, object-oriented programming, software engineering, visual programming, formal specification, programming language semantics
CITATION

P. Cox and Baoming Song, "A formal model for component-based software," Human-Centric Computing Languages and Environments, IEEE CS International Symposium on(HCC), Stresa, Italy, , pp. 304-311.
doi:10.1109/HCC.2001.995278
94 ms
(Ver 3.3 (11022016))