ACIT 2005:
Novosibirsk,
Russia
Yuri I. Shokin, O. I. Potaturkin (Eds.):
Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, Novosibirsk, Russia, June 20-24, 2005.
IASTED/ACTA Press 2005, ISBN 0-88986-475-6 
Software Requirements,
Methodologies,
and Architecture
- Andreas S. Andreou, D. Panayidou, Panayiotis Andreou, Andreas Pitsillides:
Preserving Quality in the Development of Mobile Commerce Services and Applications.
1-8
- G. M. Emelyanov, N. A. Stepanova:
Semantic Relation Modeling using Formal Concept Analysis in Russian Lexical Databases.
9-12
- Richard A. Pyne, Sophia McNamarah, Natasha Crooks, Kevon Green, Sanique Hall, Sabrina Johnson, Debbie-Ann Neil:
Heterogeneous Software Repository: MPR a Text-based Model.
13-17
- Mohamad Kassab, Constantinos Constantinides, Olga Ormandjieva:
Specifying and Separating Concerns from Requirements to Design: A Case Study.
18-27
Software Models and Modeling Software
- V. G. Promyslov, E. Ph. Jharko, O. A. Promyslova:
Maintenance and Modification of Complex Software Systems within an Advance Practice.
28-33
- Rohollah Alesheykh, Ahmad Abdollahzadeh Barfroush:
Evaluation and Comparison of Rule Scheduling Approaches in Active Database Systems.
34-40
- Grace W. Rumantir:
Frameworks for Program Decomposition in Cognitive Complexity Measurements.
41-47
- Serge P. Kovalyov, Elena A. Ozhiganova:
Formal Modeling of Software Quality with xNoFun Language.
48-53
- Yoshinobu Tamura, Shigeru Yamada, Mitsuhiro Kimura:
Reliability Assessment Method based on Logarithmic Poisson Execution Time Model for Open Source Project.
54-59
- Victor Okol'nishnikov, Sergey Rudometov:
Simulation of Complex Transportation Systems.
60-64
- Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar:
A Visualization Tool for Reactive Systems Simulation.
65-70
- Tauqeer Hussain, Shafay Shamail, Mian M. Awais:
On Measuring Structural Complexity of a Conceptual Model.
71-75
Software Engineering I
- Yuri Leonidovich Ershov, V. Filippov, O. Klimenko, O. Trofimov:
Mathtree - Tree Catalog of Mathematical Resources in the Internet.
76-80
- V. Barakhnin, O. Klimenko:
Systematization and the Search of Mathematical Web-Resources.
81-84
- M. Couzinier, Louis Féraud:
Formal Verification of Dynamic UML Diagrams using TLA+.
85-91
- Sergei I. Vyatkin, Boris S. Dolgovesov:
A 3D Texture-based Recursive Multi-Level Ray Casting Algorithm.
92-97
- Jun-Cherng Lin, Yun-Liang Huang, Cheng-Hsiung Liu:
Testability Analysis for Polymorphism.
98-103
- Boris S. Dolgovesov, M. Y. Shevtsov:
Real-Time Volume Rendering Systems.
104-107
- V. I. Dvortsov, S. A. Ivanovsky:
Effective, Computational Stability Parallel Algorithm for Construction of a Pseudo-Triangulation of a Simple Polygon.
108-110
Software Engineering II
- A. V. Veselov, A. V. Shalaginov:
Knowledge Test System "Neuron-2".
111-116
- T. Bönisch, N. Shokina:
Parallelization of a 3D Fluid Flow Simulation Code using Software Engineering Principles.
117-122
- Hong Xiao, Di Wu, Ling Zhang:
Software Component and Prediction for Network Processor based Application.
123-128
- Sergei V. Butakov, Denis V. Rubtsov:
Unsupervised Neural Networks Helpt to Develop Ontologies.
129-130
- Irina V. Borisova, A. Zagoruiko, Nikolay G. Zagoruiko:
Natural Classification and Systematisation Methods.
131-135
- Victor G. Khoroshevsky, Sergey N. Mamoilenko, Yury S. Maidanov, Maxim S. Sedelnikov:
Space-distributed Multicluster Computer System with Multiprogramme Regimes Supporting.
136-138
- A. V. Chernov, Marina A. Chicheva, M. V. Gashnikov, N. I. Glumov, E. V. Myasnikov, V. V. Sergeyev:
Software System for Development of Algorithms for Digital Images Processing and Analysis.
139-142
- Evgeny V. Rusin:
Design and Application of the Library PLVIP for Parallel Image Processing.
143-148
Copyright © Mon Nov 30 20:05:29 2009
by Michael Ley (ley@uni-trier.de)
