• DocumentCode
    3142372
  • Title

    On the specification of software components

  • Author

    Goedicke, Michael ; Schumann, Harald ; Cramer, Joachim

  • Author_Institution
    Dept. of Math. & Comput. Sci., Essen Univ., Germany
  • fYear
    1991
  • fDate
    25-26 Oct 1991
  • Firstpage
    166
  • Lastpage
    174
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
  • Conference_Location
    Como
  • Print_ISBN
    0-8186-2320-9
  • Type

    conf

  • DOI
    10.1109/IWSSD.1991.213064
  • Filename
    213064