Публикации

  • M. Lukichev, B. Novikov, and P. Mehra
    Computer Science and Information Systems, 9:63–80,
  • Krendelev S.F., Kuzmenok A.Yu.
    Yakutian Mathematical Journal 2014, ¹4 pp. 31-38,
  • K. Krinkin, D. Kartashov, A. Huletski
    Proceedings of the 17th Conference of Open Innovations Association FRUCT,
  • Dubinkina V.B., Ischenko D.S., Ulyantsev V.I., Tyakht A.V., Alexeev D.G.
    BMC Bioinformatics,
  • Artyom Aleksyuk, Vladimir Itsykson
    System Informatics, Volume 10, pp 67-76,
  • Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.
    Software Engineering Conference in Russia (CEE-SECR),
  • Ulyantsev V., Zakirzyanov I., Shalyto A.
    Proceedings of International Conference on Language and Automata Theory and Applications. - 2015. - P. 611-622.,
  • Anna Yarygina and Boris Novikov
    In Tadeusz Morzy, Patrick Valduriez, and Ladjel Bellatreche, editors, New Trends in Databases and Information Systems - ADBIS 2015 Short Papers and Workshops, BigDap, DCSA, GID, MEBIS, OAIS, SW4CH, WISARD, Poitiers, France, September 8-11, 2015. Proceedings, volume 539 of Communications in Computer and Information Science, pages 153–161. Springer,
  • S Krendelev, N Zbitnev, D Shishlyannikov and D Gridin
    Journal of Physics: Conference Series, Volume 913, conference 1,
  • Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
    Present and Ulterior Software Engineering pp 119-137,
  • Dmitry Boulytchev
    Proceedings of 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics,
  • Azat Abdullin, Marat Akhin
    SoftwareMining 2016: Proceedings of the 5th International Workshop on Software Mining,
  • Marina Polubelova, Sergey Bozhko, Semyon Grigorev

    There are numerous toolchains designed for certified programming, but F* is the only language that support both general-purpose programming and semi-automated proving. We work on the application of this technique to a grammarware research and development project YaccConstructor. We present a work in progress verified implementation of transformation of Context-free grammar to Chomsky normal form, that is making progress toward the certification of the entire project. Among other features, F* system allows to extract code in F# or OCaml languages from a program written in F*. YaccConstructor project is mostly written in F#, so this feature of F* is of particular importance because it allows to maintain compatibility between certified modules and those existing in the project which are not certified yet.

    Proceedings of the Institute for System Programming,
  • Stephan Krusche, Irina Camilleri, Andreas Seitz, Cecil Wöbker, Kirill Krinkin and Bernd Bruegge

    Software engineering is an interactive, collaborative and creative activity that cannot be entirely planned. Inspection and adaption are required to cope with changes during the development process. Software engineering education requires practical application of knowledge, but it is challenging and time consuming for instructors to evaluate the creation of innovative solutions to problems. Current higher education practices lead to a multitude of rules, guidelines and order. Instructors see deviations of students as failures and limit the creative thinking processes of students. In this paper we describe chaordic learning, a self-organizing, adaptive and nonlinear learning approach, to stimulate the creative thinking of students.

  • Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.
    Clone detection in reuse of software technical documentation
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9609, pp. 170-185,

Сортировка:

  • Фильтр по группам: