Title :
On the specification of software components
Author :
Goedicke, Michael ; Schumann, Harald ; Cramer, Joachim
Author_Institution :
Dept. of Math. & Comput. Sci., Essen Univ., Germany
Abstract :
The authors discuss how the notion of software component can be turned into a specification language concept. Such component description languages (CDL) would directly support reuse, flexible construction of large systems and team-work. First they analyze important requirements to CDLs and discuss the component support of different languages. Finally they discuss extensions necessary to cover also quantitative aspects in component descriptions
Keywords :
formal specification; specification languages; component description languages; software components; specification language; Computer science; Formal languages; Packaging; Production facilities; Software engineering; Software systems; Specification languages; Standardization;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213064
