• Medientyp: E-Artikel
  • Titel: Programinio komponento ontologijos formalioji specifikacija Formalisation of the sofware component ontology specification
  • Beteiligte: Bagušytė, Lina; Lupeikienė, Audronė
  • Erschienen: Vilnius University Press, 2005
  • Erschienen in: Lietuvos matematikos rinkinys, 45 (2005), Seite 113-118
  • Sprache: Ohne Angabe
  • DOI: 10.15388/lmr.2005.24566
  • ISSN: 2335-898X; 0132-2818
  • Schlagwörter: General Earth and Planetary Sciences ; General Environmental Science
  • Entstehung:
  • Anmerkungen:
  • Beschreibung: This paper is devoted to the development and specification problems of software component ontology. The formalisation of the proposed component ontology is presented, too. The choice of ontology interpretation  is motivated. The paper discusses the content of the ontology specification and its development. The mereological theory of software component, one of the constituent parts of a formal component specification, is presented.