Mikhail Kazakov

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

Mikhail Kazakov, Habib Abdulrab
Semi-automated software integration using logical specifications: An application to numerical simulation software. ICECS (2005)
Mikhail Kazakov
A feasibility proof of semi-automated software integration. IASTED Conf. on Software Engineering (2004)
Mikhail Kazakov, Habib Abdulrab
Semi-Automated Software Integration: An Approach Based on Logical Inference. ICEIS (3) (2004)
Mikhail Kazakov, Habib Abdulrab
A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform. Metainformatics (2003)
Mikhail Kazakov, Habib Abdulrab
DL-workbench: a metamodeling approach to ontology manipulation. EON (2003)