DocumentCode :
176370
Title :
Application of simulation-based software design solution
Author :
Aksyonov, Konstantin ; Bykov, Eugene ; Aksyonova, Olga ; Wang Kai
Author_Institution :
Ural Fed. Univ., Ekaterinburg, Russia
fYear :
2014
fDate :
May 31 2014-June 2 2014
Firstpage :
2825
Lastpage :
2830
Abstract :
The paper describes several model, where the computer-aided software design system BPsim.SD was used. Some of them were existing projects with available output data, and were used for system verification as the baseline deployments. Namely, the University Information System is the project of such kind, and has been developed earlier, partially by authors, who had all the initial data to be able to reproduce important aspects within the current system. Others became the real examples of system use, and allowed the customers to achieve benefit from automated software design. That is the development of software for the independent shareholders registry, including sub-system for documents registration, transfer agent exchange module and an electronic docflow system. Positive deployment experience proves effectiveness of presented software.
Keywords :
document handling; formal verification; automated software design; computer-aided software design system BPsim.SD; documents registration; electronic docflow system; independent shareholders registry; positive deployment experience; simulation-based software design solution; system verification; transfer agent exchange module; university information system; Consumer electronics; Educational institutions; Information systems; Personnel; Software; Unified modeling language; CASE tool; experiment; simulation; software design;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Control and Decision Conference (2014 CCDC), The 26th Chinese
Conference_Location :
Changsha
Print_ISBN :
978-1-4799-3707-3
Type :
conf
DOI :
10.1109/CCDC.2014.6852654
Filename :
6852654
Link To Document :
بازگشت