Avtomatika i Telemekhanika
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Avtomat. i Telemekh.:
Year:
Volume:
Issue:
Page:
Find






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


Avtomatika i Telemekhanika, 1988, Issue 5, Pages 165–177 (Mi at6687)  

Computer-Aided Design and Programming

Using Petri nets for error localization in debugging of MIS software

S. A. Kosyachenko, V. V. Kul'ba, A. G. Mamikonov, E. B. Sokolova

Moscow
Abstract: A method is discussed of error localization in MIS software on the knowledge of testing results at the stage of system debugging whereby areas and locations are spotted where information and computation errors occur, by using the tools of Petri nets.

Received: 23.01.1987
Bibliographic databases:
Document Type: Article
UDC: 681.3.06:681.326.7
Language: Russian
Citation: S. A. Kosyachenko, V. V. Kul'ba, A. G. Mamikonov, E. B. Sokolova, “Using Petri nets for error localization in debugging of MIS software”, Avtomat. i Telemekh., 1988, no. 5, 165–177; Autom. Remote Control, 49:5 (1988), 680–689
Citation in format AMSBIB
\Bibitem{KosKulMam88}
\by S.~A.~Kosyachenko, V.~V.~Kul'ba, A.~G.~Mamikonov, E.~B.~Sokolova
\paper Using Petri nets for error localization in debugging of MIS software
\jour Avtomat. i Telemekh.
\yr 1988
\issue 5
\pages 165--177
\mathnet{http://mi.mathnet.ru/at6687}
\zmath{https://zbmath.org/?q=an:0664.68016}
\transl
\jour Autom. Remote Control
\yr 1988
\vol 49
\issue 5
\pages 680--689
Linking options:
  • https://www.mathnet.ru/eng/at6687
  • https://www.mathnet.ru/eng/at/y1988/i5/p165
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Avtomatika i Telemekhanika
    Statistics & downloads:
    Abstract page:118
    Full-text PDF :48
    First page:2
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024