DocumentCode
610162
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
fYear
2013
fDate
19-23 Feb. 2013
Firstpage
138
Lastpage
139
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;
fLanguage
English
Publisher
ieee
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
Type
conf
Filename
6543214
Link To Document