• DocumentCode
    3152730
  • Title

    Layered specifications to support reusability and integratibility

  • Author

    Mittermeir, Roland T. ; Kofler, Evelin

  • Author_Institution
    Inst. fur Inf., Klagenfurt Univ., Austria
  • fYear
    1992
  • fDate
    15-18 Jun 1992
  • Firstpage
    699
  • Lastpage
    708
  • Abstract
    This paper argues for a layered approach towards system specification. It shows, how relational specifications will help system designers not to bind themselves too early into premature decisions and how designs aiming for heavy reuse can grow by enriching specifications stepwise
  • Keywords
    formal specification; relational algebra; software reusability; integratibility; layered specifications; relational specifications; reusability; system specification; Application software; Buildings; Electric breakdown; Inhibitors; Optical wavelength conversion; Production; Productivity; Software design; Software quality; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems Integration, 1992. ICSI '92., Proceedings of the Second International Conference on
  • Conference_Location
    Morristown, NJ
  • Print_ISBN
    0-8186-2697-6
  • Type

    conf

  • DOI
    10.1109/ICSI.1992.217261
  • Filename
    217261
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3152730