The paper deals with an original technology for the synthesis of foundation of an information system based on its formalized representation. Logical methods are used for a transformation of the model into software code. An example of application of the technology is creation of the medical information system ``Population Cancer Registry''
Author(s):
Paramonov Vyacheslav VladimirovichPhD.
Position: Junior Research Scientist
Office: Institute for System Dynamics and Control Theory Siberian Branch of RAS
Address: 664033, Russia, Irkutsk
Phone Office: (3952) 453073
E-mail: slv@icc.ru
SPIN-code: 2364-8270
Fedorov Roman KonstantinovichPhD.
Position: Leading research officer
Office: Institute for System Dynamics and Control Theory, Siberian Branch of RAS, Irkutsk Scientific Center of Siberian Branch of Russian Academy of Sciences
Address: 664033, Russia, Irkutsk
Phone Office: (3952) 453108
E-mail: fedorov@icc.ru
SPIN-code: 5344-2226
Bychkov Igor VyacheslavovichDr. , Academician RAS, Professor
Position: Director
Office: Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences
Address: 664033, Russia, Irkutsk, Lermontova st., 134
Phone Office: (3952) 45-30-61
E-mail: idstu@icc.ru
SPIN-code: 5816-7451
Cherkashin Evgeny AleksandrovichPhD.
Office: Institute of system dynamics and control theory SB RAS, Institute for Mathematics and Information Technologies
Address: 634050, Russia, Irkutsk, 134 Lermontov, Str
Phone Office: (3952) 45 30 13
E-mail: eugeneai@icc.ru
Rugnikov Gennady MikhailovichDr. , Senior Scientist
Position: Head of Departament
Office: Institute for System Dynamics and Control Theory Siberian Branch of RAS, Irkutsk Scientific Center of Siberian Branch of Russian Academy of Sciences
Address: 664033, Russia, Irkutsk, 134 Lermontov, Str
Phone Office: (3952) 45-30-06
E-mail: rugnikov@icc.ru
SPIN-code: 2947-8443
