Modelirovanie i Analiz Informatsionnykh Sistem
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


Modelirovanie i Analiz Informatsionnykh Sistem, 2016, Volume 23, Number 6, Pages 754–766
DOI: https://doi.org/10.18255/1818-1015-2016-6-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
Full-text PDF (577 kB) Citations (1)
References:
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.
Received: 05.09.2016
Bibliographic databases:
Document Type: Article
UDC: 004.423.4+004.415.5
Language: Russian
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://mathscinet.ams.org/mathscinet-getitem?mr=3596159}
\elib{https://elibrary.ru/item.asp?id=27517421}
Linking options:
  • https://www.mathnet.ru/eng/mais538
  • https://www.mathnet.ru/eng/mais/v23/i6/p754
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Моделирование и анализ информационных систем
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024