. "45-46" . "2"^^ . . "FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS"@en . "Form\u00E1ln\u00ED metody v\u00FDvoje SW aplikovan\u00E9 na embedded syst\u00E9my: z\u00E1kladn\u00ED koncepty"@cs . "FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS" . . "[48B5B5D911FF]" . . . "Bli\u017E\u0148\u00E1k, Michal" . "Kol\u00E1\u0159, Du\u0161an" . . . "FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS"@en . "Programov\u00E1n\u00ED embedded syst\u00E9mu je speci\u00E1ln\u00ED discipl\u00EDna. V mnoha p\u0159\u00EDpadech se vyu\u017E\u00EDvaj\u00ED pouze n\u00EDzko\u00FArov\u0148ov\u00E9 programovac\u00ED techniky a jazyky, z \u010Deho\u017E plyne, \u017Ee takov\u00FD zp\u016Fsob v\u00FDvoje aplikac\u00ED m\u016F\u017Ee b\u00FDt neefektivn\u00ED a \u010Dasov\u011B n\u00E1ro\u010Dn\u00FD. Jedna z mo\u017En\u00FDch cest vedouc\u00EDch ke zrychlen\u00ED v\u00FDvojov\u00E9ho procesu aplikac\u00ED ur\u010Den\u00FDch pro embedded syst\u00E9my je vyu\u017E\u00EDt\u00ED form\u00E1ln\u00EDch metod v\u00FDvoje aplikac\u00ED. C\u00EDlem \u010Dl\u00E1nku je uk\u00E1zat, \u017Ee ur\u010Dit\u00E9 typy form\u00E1ln\u00EDho popisu mohou b\u00FDt vyu\u017Eity pro tvorbu efektivn\u00EDho produk\u010Dn\u00EDho programov\u00E9ho k\u00F3du spl\u0148uj\u00EDc\u00EDho v\u0161echny po\u017Eadavky vypl\u00FDvaj\u00EDc\u00ED z charakteristick\u00FDch vlastnost\u00ED embedded syst\u00E9m\u016F."@cs . "Vienna" . "476165" . "1"^^ . . "DAAAM International Vienna" . "FORMAL-METHOD-BASED SOFTWARE DEVELOPMENT APPLIED ON EMBEDDED SYSTEMS: BASIC CONCEPTS" . "2"^^ . . "RIV/70883521:28140/06:63504367" . . "FSM; finite state machine; code generation; ANSI C; optimization"@en . . "1726-9679" . "Z(MSM7088352102)" . "Programming of embedded systems is a special discipline. In many cases, developers are using only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient. One of the possible ways leading to speed-up of a software development process on embedded systems is application of formal-method-based development processes. The goal of this paper is to point out that some specific formal languages can be effectively used for producing of highly optimized source code that fulfills necessary requirements of embedded systems."@en . "RIV/70883521:28140/06:63504367!RIV07-MSM-28140___" . "Programming of embedded systems is a special discipline. In many cases, developers are using only low-level programming technologies and languages so it is obvious that this way of software development can be time-consuming and inefficient. One of the possible ways leading to speed-up of a software development process on embedded systems is application of formal-method-based development processes. The goal of this paper is to point out that some specific formal languages can be effectively used for producing of highly optimized source code that fulfills necessary requirements of embedded systems." . . . . "Annals of DAAAM for 2006 & Proceedings" . "Form\u00E1ln\u00ED metody v\u00FDvoje SW aplikovan\u00E9 na embedded syst\u00E9my: z\u00E1kladn\u00ED koncepty"@cs . . "28140" . . .