Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits,
"Specifying Graphical Modeling Systems Using Constraint-based Metamodels",
IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.
Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits,
"Towards Two-Level Formal Modeling of Computer-Based Systems",
Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.
Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Sztipanovits, J., G. Karsai, and H. Franke,
"Model-Integrated Program Synthesis Environment",
Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.
Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)
Nordstrom, G., G. Karsai, M. Moore, T. Bapty, and J. Sztipanovits,
"Model Integrated Computing-Based Software Design and Evolution",
Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems, Huntsville, Alabama, August, 2000.
Download: Nordstrom_GG_8_16_2000_Model_Inte.pdf (252.99 KB)