Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find




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

Proceedings of the Institute for System Programming of the RAS, 2018, Volume 30, Issue 5, Pages 163–176
DOI: https://doi.org/10.15514/ISPRAS-2018-30(5)-10 (Mi tisp367) 		 
This article is cited in 3 scientific papers (total in 3 papers)

Formalizing metamodel of requirements management system

D. S. Kildisheva, A. V. Khoroshilovbacd

a Ivannikov Institute for System Programming of RAS
b Higher School of Economics
c Lomonosov Moscow State University
d Moscow Institute of Physics and Technology
Full-text PDF (493 kB) Citations (3)
References:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2018-30(5)-10
Abstract: Requirements play an important role in the process of safety critical software development. To achieve reasonable quality and cost ratio a tool support for requirements management is required. The paper presents a formal definition of a metamodel that is used as a basis of Requality requirements management tool. An experience of implementation of the metamodel is discussed.
Keywords: Requirement, model, requirements management.
Funding agency Grant number
Russian Foundation for Basic Research 17-07-00734
This study was supported by RFBR grant #17-07-00734.
Bibliographic databases:
Document Type: Article
Language: English
Citation: D. S. Kildishev, A. V. Khoroshilov, “Formalizing metamodel of requirements management system”, Proceedings of ISP RAS, 30:5 (2018), 163–176
Citation in format AMSBIB
\Bibitem{KilKho18}
\by D.~S.~Kildishev, A.~V.~Khoroshilov
\paper Formalizing metamodel of requirements management system
\jour Proceedings of ISP RAS
\yr 2018
\vol 30
\issue 5
\pages 163--176
\mathnet{http://mi.mathnet.ru/tisp367}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(5)-10}
\elib{https://elibrary.ru/item.asp?id=36591033}
Linking options:
  • https://www.mathnet.ru/eng/tisp367
  • https://www.mathnet.ru/eng/tisp/v30/i5/p163
    • This publication is cited in the following 3 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Proceedings of the Institute for System Programming of the RAS
    Statistics & downloads:
    Abstract page:129
    Full-text PDF :44
    References:16
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024