. . "2008-12-16+01:00"^^ . . " information systems" . "R\u00E1mec pro form\u00E1ln\u00ED specifikace a prototypov\u00E1n\u00ED s\u00ED\u0165ov\u00FDch aplikac\u00ED informa\u010Dn\u00EDch syst\u00E9m\u016F" . . "The project dealt with front-end parts of networked, distributed system application designs and it targeted creation of a formal specification, verification and prototyping framework for network applications ranging from large information systems down to"@en . "A Framework for Formal Specifications and Prototyping of Information System's Network Applications"@en . " rapid prototyping" . "62"^^ . . . . "0"^^ . "62"^^ . . . "0"^^ . "2007-12-31+01:00"^^ . "2005-01-01+01:00"^^ . "1"^^ . "GA102/05/0723" . . . "2007-05-02+02:00"^^ . "P\u0159edkl\u00E1dan\u00FD projekt se t\u00FDk\u00E1 \u00FAvodn\u00EDch f\u00E1z\u00ED n\u00E1vrhu distribuovan\u00FDch aplikac\u00ED syst\u00E9m\u016F zalo\u017Een\u00FDch na po\u010D\u00EDta\u010Dov\u00FDch s\u00EDt\u00EDch. C\u00EDlem projektu je vytvo\u0159en\u00ED r\u00E1mce pro form\u00E1ln\u00ED specifikace, verifikace a prototypov\u00E1n\u00ED s\u00ED\u0165ov\u00FDch aplikac\u00ED, kter\u00E9 zahrnou jak rozs\u00E1hl\u00E9 informa\u010Dn\u00ED syst\u00E9my, tak i mal\u00E9 komponenty vestav\u011Bn\u00E9 nap\u0159. do mobiln\u00EDch za\u0159\u00EDzen\u00ED. Hlavn\u00ED pozornost bude zam\u011B\u0159ena jak na specifikace architektury, tak i reaktivn\u00EDho chov\u00E1n\u00ED a chov\u00E1n\u00ED v re\u00E1ln\u00E9m \u010Dase u\u017Eit\u00EDm strukturovan\u00E9ho nebo objektov\u011B-orientovan\u00E9ho p\u0159\u00EDstupu v z\u00E1vislosti na po\u017Eadavc\u00EDch aplikac\u00ED. C\u00EDlem projektu nebude vyv\u00EDjet nov\u00FD form\u00E1ln\u00ED apar\u00E1t, ale vytvo\u0159it metody a techniky, kter\u00E9 umo\u017En\u00ED vyu\u017E\u00EDt existuj\u00EDc\u00ED pros\u0159edky form\u00E1ln\u00EDch specifikac\u00ED v re\u00E1ln\u00FDch aplikac\u00EDch. Specifikovan\u00E9 po\u017Eadavky zahrnou bezpe\u010Dnost (safety) a zabezpe\u010Den\u00ED (security) aplikac\u00ED v\u010Detn\u011B jejich vz\u00E1jemn\u00FDch souvislost\u00ED. Znalostn\u00ED podpora n\u00E1vrhu bude zam\u011B\u0159ena na oblast opakovan\u00E9ho vyu\u017Eit\u00ED verifikovan\u00FDch specifikac\u00ED. Implementa\u010Dn\u00ED a integra\u010Dn\u00ED f\u00E1ze projektu poskytne pilotn\u00ED verze" . . . . "The proposed project deals with front-end parts of networked, distributed system application designs. The project targets creation of a formal specification, verification and prototyping framework for network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention will be focused both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. The project is not striving to develop a new formal approach; instead, it should create methods and techniques that enable to utilize current formal specification means in real-world applications. Specified requirements would cover both safety and security of applications including their interrelations. Knowledge-based support will be focused on reuse of verified formal specifications. The implementation and integration phases of the project will provide"@en . . . "Projekt se t\u00FDkal \u00FAvodn\u00EDch f\u00E1z\u00ED n\u00E1vrhu distribuovan\u00FDch aplikac\u00ED syst\u00E9m\u016F zalo\u017Een\u00FDch na po\u010D\u00EDta\u010Dov\u00FDch s\u00EDt\u00EDch a jeho c\u00EDlem bylo vytvo\u0159en\u00ED r\u00E1mce pro form\u00E1ln\u00ED specifikace, verifikace a prototypov\u00E1n\u00ED s\u00ED\u0165ov\u00FDch aplikac\u00ED, kter\u00E9 zahrnuj\u00ED jak rozs\u00E1hl\u00E9 informa\u010Dn\u00ED syst"@cs . "http://www.isvav.cz/projectDetail.do?rowId=GA102/05/0723"^^ . . " verification" . . "formal specifications; verification; rapid prototyping; information systems; computer networks"@en . "formal specifications" . . .