Title :
The tool for design of software systems architecture
Author :
Harchenko, A. ; Bodnarchuk, I. ; Halay, I. ; Yatcyshyn, V.
Author_Institution :
Nat. Aviation Univ., Kiev, Ukraine
Abstract :
The improvement of the technologies of software design happens by introducing the formal methods, and tools, which implement these methods. The classification and communication functions of quality requirements are implemented in the represented information-software complex. The composition of alternative architectures and selection of the optimal one is proposed here as well. The software complex is functionally the Decision Support System (DSS) for architect.
Keywords :
decision making; decision support systems; formal specification; formal verification; software architecture; software quality; DSS; decision support system; formal method; information-software complex; software complex; software quality requirement; software systems architecture design; Computer architecture; Decision support systems; Educational institutions; Optimization; Software design; Software systems; design automation; optimization; quality requirements; repository; software systems architecture;
Conference_Titel :
Experience of Designing and Application of CAD Systems in Microelectronics (CADSM), 2013 12th International Conference on the
Conference_Location :
Polyana Svalyava
Print_ISBN :
978-1-4673-6461-4
