Archive - Central European Conference on Information and Intelligent Systems, CECIIS - 2014

Font Size: 
Considerations and Ideas in Component Programming - Towards to Formal Specification
William Steingartner, Valerie Novitzká, Martina Benčková, Peter Prazňák

Last modified: 2014-07-13

Abstract


Programming in present can be characterized as composition of some prepared components. New market is opened for providing components for various applications. However, every component library use different standards, methods and requirements for using its products. Another problem is different terminology and a lack of some common standards. This situation can be compared with the period before setting open systems standards. We assume that analyzing of common principles of component programming can help to find unified formal description and it enables to construct formal models serving for solving and preventing troubles in composing appropriate components into working program systems. In our paper we try to present our analysis and ideas for achieving these aims.