71 - 73 out of 73Page size: 10
  1. 2004

  2. 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

  3. 2002

  4. 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

  5. 1999

  6. 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