Development and study of methods and tools for the formal specification of program models and metrics
Shalfeyeva, Yelena Arefyevna, 2000, Candidate of Sciences dissertation
Vladivostok
255 pp.
More works in this specialty
- Research and development of a method for automatic classification of Internet user behavior
Shcherbina, Andrey Andreyevich · 2007 · Candidate of Sciences
- Investigation and implementation of non-procedural program transformations for building an extensible parallelization system
Zhegulo, Olga Anatol'evna · 2007 · Candidate of Sciences · Southern Federal University
- Methods of estimating software development effort for corporate information systems
Melamed, Aleksandr Yakovlevich · 2006 · Candidate of Sciences
- Research and implementation of methods for building corporate software systems to support changing business processes
Yarnykh, Andrey Valeryevich · 2006 · Candidate of Sciences
- Controlled intruder access in a computer network security system
Gorodetsky, Pavel Eduardovich · 2006 · Candidate of Sciences