. . "0"^^ . . "0"^^ . . "2007-01-01+01:00"^^ . . . "high-level design; modelling; metamodelling; simulation"@en . . "2009-12-31+01:00"^^ . . "1"^^ . "Podstatn\u00FDm rysem sou\u010Dasn\u00FDch softwarov\u00FDch syst\u00E9m\u016F je jejich rostouc\u00ED slo\u017Eitost. V oblasti v\u00FDvoje t\u011Bchto syst\u00E9m\u016F je proto v pop\u0159ed\u00ED z\u00E1jmu jednak zvy\u0161ov\u00E1n\u00ED efektivity v\u00FDvojov\u00E9ho procesu, ale tak\u00E9 zvy\u0161ov\u00E1n\u00ED spolehlivosti vyv\u00EDjen\u00FDch syst\u00E9m\u016F. Jedn\u00EDm z aktivn\u011B rozv\u00EDjen\u00FDch p\u0159\u00EDstup\u016F je aplikace vysoko\u00FArov\u0148ov\u00FDch form\u00E1ln\u00EDch model\u016F a teorie modelov\u00E1n\u00ED a simulace. Kl\u00ED\u010Dovou my\u0161lenkou je modelovat softwarov\u00E9 syst\u00E9my takov\u00FDmi prost\u0159edky, kter\u00E9 umo\u017E\u0148uj\u00ED jednoduch\u00FD a spolehliv\u00FD zp\u016Fsob ov\u011B\u0159ov\u00E1n\u00ED model\u016F a plynul\u00FD p\u0159echod od model\u016F k c\u00EDlov\u00E9 aplikaci. Navrhovan\u00FD projekt je zam\u011B\u0159en na z\u00E1kladn\u00ED v\u00FDzkum v oblasti pokro\u010Dil\u00FDch modelovac\u00EDch a simula\u010Dn\u00EDch technik ve v\u00FDvoji softwarov\u00FDch syst\u00E9m\u016F. Zejm\u00E9na se zam\u011B\u0159uje na integraci vybran\u00FDch typ\u016F vysoko\u00FArov\u0148ov\u00FDch model\u016F, na integraci model\u016F a aplika\u010Dn\u00EDho prost\u0159ed\u00ED a na mo\u017Enosti vyu\u017Eit\u00ED model\u016F ve spojen\u00ED s meta\u00FArov\u0148ov\u00FDmi architekturami ve v\u00FDvoji adaptivn\u00EDho softwaru. Projekt navazuje na zku\u0161enosti a v\u00FDsledky, kter\u00E9 ji\u017E pracovi\u0161t\u011B navrhovatele v t\u00E9to oblasti z\u00EDskalo."@cs . "The significant characteristic of current software systems is their growing complexity. Therefore the actual research of the software systems development is focused on increasing the development process effectivity, but also on the system reliability. One of the auspicious approaches is an application of the high-level formal models and the theory of modelling and simulation. The key idea is to model software systems by such means that there is a possibility to verify models in a simple way and to move fluently from models to the goal application. This project deals with the basic research in the area of the advanced modelling and simulation techniques in the software system development. In particular it concerns with the integration of high-levelmodels, with the integration of models and the application environment, and with the possibility to use models in association with the metalevel architectures in the adaptive software development. The project is a follow-up to the experiences and the"@en . "17"^^ . "664"^^ . . "Model Based System Development"@en . "17"^^ . "664"^^ . "V\u00FDvoj syst\u00E9m\u016F zalo\u017Een\u00FD na modelech"@cs . . .