RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2016, Volume 23, Number 6, Pages 754–766 (Mi mais538)  

This article is cited in 1 scientific paper (total in 1 paper)

The formalism and language tools for semantics specification of software libraries

V. M. Itsykson

Peter the Great St. Petersburg Polytechnic University, 29 Polytechnicheskaya str., Saint-Petersburg 195251, Russia

Abstract: The paper is dedicated to the specification of the structure and the behaviour of software libraries. It describes the existing problems of libraries specifications. A brief overview of the research field concerned with formalizing the specification of libraries and library functions is presented. The requirements imposed on the formalism designed are established; the formalism based on these requirements allows specifying all the properties of the libraries needed for automation of several classes of problems: defects detection in the software, migration of applications into a new environment, generation of software documentation. The requirements on the language tools based on the developed formalism are proposed. The conclusion defines potential directions for further research.

Keywords: formal specification, software library, behavioral description, software defect, specification language.

DOI: https://doi.org/10.18255/1818-1015-2016-6-754-766

Full text: PDF file (577 kB)
References: PDF file   HTML file

Bibliographic databases:

UDC: 004.423.4+004.415.5
Received: 05.09.2016

Citation: V. M. Itsykson, “The formalism and language tools for semantics specification of software libraries”, Model. Anal. Inform. Sist., 23:6 (2016), 754–766

Citation in format AMSBIB
\Bibitem{Its16}
\by V.~M.~Itsykson
\paper The formalism and language tools for semantics specification of software libraries
\jour Model. Anal. Inform. Sist.
\yr 2016
\vol 23
\issue 6
\pages 754--766
\mathnet{http://mi.mathnet.ru/mais538}
\crossref{https://doi.org/10.18255/1818-1015-2016-6-754-766}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3596159}
\elib{http://elibrary.ru/item.asp?id=27517421}


Linking options:
  • http://mi.mathnet.ru/eng/mais538
  • http://mi.mathnet.ru/eng/mais/v23/i6/p754

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. A. O. Aleksyuk, V. M. Itsykson, “Semanticheski-orientirovannaya migratsiya Java-programm: opyt prakticheskogo primeneniya”, Model. i analiz inform. sistem, 24:6 (2017), 677–690  mathnet  crossref  elib
  • Моделирование и анализ информационных систем
    Number of views:
    This page:114
    Full text:37
    References:16

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020