"1"^^ . "30"^^ . . "1"^^ . "Projekt se zab\u00FDval metodikou tvorby a verifikace software specifikovan\u00E9ho v p\u0159irozen\u00E9m jazyce. V\u00FDsledky projektu byly publikov\u00E1ny ve sborn\u00EDc\u00EDch konferenc\u00ED rozmanit\u00E9 kvality. Dva \u010Dl\u00E1nky vy\u0161ly v \u010Dasopise s IF. Rozsah publika\u010Dn\u00ED aktivity je na spodn\u00ED hranici mo\u017Enost\u00ED \u0159e\u0161itelsk\u00E9ho kolektivu. \u010Cerp\u00E1n\u00ED finan\u010Dn\u00EDch prost\u0159edk\u016F prob\u011Bhlo dle pravidel grantov\u00E9 agentury."@cs . "30"^^ . . . . "Metody pro tvorbu a ov\u011B\u0159ov\u00E1n\u00ED komponentov\u00FDch syst\u00E9m\u016F ze specifikac\u00ED v p\u0159irozen\u00E9m jazyce" . "Methods of development and verification of component-based applications using natural language specifications"@en . "Metoda programov\u00E1n\u00ED aplikac\u00ED pomoc\u00ED komponent se uk\u00E1zala jako velmi vhodn\u00E1 pro zjednodu\u0161en\u00ED a zrychlen\u00ED v\u00FDvojov\u00E9ho procesu, zvl\u00E1\u0161t\u011B v\u00A0kontextu podnikov\u00FDch aplikac\u00ED a dynamicky se vyv\u00EDjej\u00EDc\u00EDch syst\u00E9m\u016F. P\u0159esto\u017Ee se ji\u017E v\u00A0t\u00E9to oblasti poda\u0159ilo dos\u00E1hnout mnoha \u00FAsp\u011Bch\u016F, v\u010Detn\u011B zvy\u0161uj\u00EDc\u00EDho se vyu\u017E\u00EDv\u00E1n\u00ED komponent v\u00A0pr\u016Fmyslu, nedo\u0161lo je\u0161t\u011B k\u00A0pln\u00E9mu porozum\u011Bn\u00ED a prozkoum\u00E1n\u00ED zcela z\u00E1kladn\u00EDch probl\u00E9m\u016F v\u00A0mnoha f\u00E1z\u00EDch v\u00FDvoje komponentov\u00FDch aplikac\u00ED. C\u00EDlem projektu je v\u00FDzkum pr\u00E1v\u011B v\u00A0t\u011Bchto oblastech \u2013 hlavn\u00ED v\u00FDzvy zde le\u017E\u00ED p\u0159edev\u0161\u00EDm ve vylep\u0161ov\u00E1n\u00ED kvality aplikac\u00ED na z\u00E1klad\u011B po\u017Eadavk\u016F u\u017Eivatele: tvorba automatick\u00E9ho procesu extrakce funk\u010Dn\u00EDch a\u00A0nefunkcion\u00E1ln\u00EDch po\u017Eadavk\u016F p\u0159\u00EDmo z\u00A0popisu v\u00A0p\u0159irozen\u00E9m jazyce (nap\u0159. UML p\u0159\u00EDpadov\u00FDch studi\u00ED), udr\u017Eov\u00E1n\u00ED konzistence aplikac\u00ED v\u00A0syst\u00E9mech s\u00A0\u010Dastou aktualizac\u00ED komponent pomoc\u00ED kombinace metod statick\u00E9 anal\u00FDzy k\u00F3du a simula\u010Dn\u00EDch metod, a vytvo\u0159en\u00ED obecn\u00FDch metod pro zjednodu\u0161en\u00ED programovac\u00ED f\u00E1ze v\u00FDvoje komponentov\u00FDch aplikac\u00ED pomoc\u00ED technik FOP (feature-oriented programming)." . "The component based programming approach was proven to greatly simplify the development process, especially in the context of enterprise and evolving systems. Despite successes in the field and increasing industrial adoption of component based programming techniques, fundamental issues of many stages of the development process are not well understood and have not been explored yet. This project focuses on research of these areas \u2013 the key challenges to address are mainly related to enhancing the quality of component based applications with respect to user requirements: devising a process of automated deriving components\u2019 functional design and extra-functional features from natural language descriptions (e.g. UML use cases), maintaining consistency of applications in context of dynamic systems with frequent component updates by combination of static verification methods and component based simulation, and to develop universal methods for easing of coding phases of component software development based on feature-oriented programming (FOP) techniques."@en . . "2013-06-12+02:00"^^ . "2011-01-01+01:00"^^ . "software components verification architectural consistency generated specification extra-functional properties natural language aspects simulation"@en . . . . . . "2014-07-01+02:00"^^ . . . "http://www.isvav.cz/projectDetail.do?rowId=GAP103/11/1489"^^ . . . "2013-12-31+01:00"^^ . . . "0"^^ . . . "GAP103/11/1489" . "The project focused on the methodology of software creation and verification using natural language specification. The results of the project were mainly presented in proceedings of conferences of varying quality. Two journal articles were published. The number of publications is adequate, but could have been higher considering the team capabilities. The grant followed the rules of the GA\u010CR."@en .