71 - 76 out of 76Page size: 10
  1. 2005

  2. REAL-IT: Model-Based User Interface Development Environment

    Ivanov, A. & Koznov, D., 2005, Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41..

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  3. ОПЫТ ИСПОЛЬЗОВАНИЯ UMLПРИ СОЗДАНИИ ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ

    Кознов, Д. В., 2005, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 1, 1, p. 18-35

    Research output: Contribution to journal › Article › peer-review

  4. «ЧЕЛОВЕЧЕСКИЕ» ОСОБЕННОСТИ ИСПОЛЬЗОВАНИЯ UML

    Кознов, Д. В., 2005, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 1, 1, p. 4-17

    Research output: Contribution to journal › Article › peer-review

  5. 2004

  6. Round-trip engineering of reactive systems

    Koznov, D., Kartachev, M., Zvereva, V., Gagarsky, R. & Barsov, A., 2004, Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346..

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  7. 2002

  8. On Project-Specific Languages and Their Application in Reengineering.

    Boulychev, D., Koznov, D. & Terekhov, A. A., 2002, 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 11-13 March 2002, Budapest, Hungary, Proceedings. IEEE Computer Society 2002, pp. 177-185..

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

  9. 1999

  10. RTST++: Methodology and a CASE tool for the development of information systems and software for real-time systems

    Terekhov, A. N., Romanovskii, K. Y., Koznov, D. V., Dolgov, P. S. & Ivanov, A. N., 1 Sep 1999, In: Programming and Computer Software. 25, 5, p. 276-281 6 p.

    Research output: Contribution to journal › Article › peer-review

Previous 1...4 5 6 7 8 Next

ID: 187573