DEVELOPMENT OF DEPENDABLE AND EFFICIENT SOFTWARE WITH DYNAMICALLY-TYPED LANGUAGES – Ing. Marek PAŠKA
Ing. Marek PAŠKA
Disertační práce
DEVELOPMENT OF DEPENDABLE AND EFFICIENT SOFTWARE WITH DYNAMICALLY-TYPED LANGUAGES
DEVELOPMENT OF DEPENDABLE AND EFFICIENT SOFTWARE WITH DYNAMICALLY-TYPED LANGUAGES
Abstract:
Počítače jsou dnes všudypřítomné, což platí především pro takzvané vestavěné systémy. Tato zařízení obvykle mají omezenou výpočetní kapacitu. Vývoj softwaru pro takové systémy je často konzervativní, používá prostředky jako například jazyk C. V posledních letech je pozorovatelný příklon k jazyku Java. U vestavěných systémů je požadována velká spolehlivost, což vede k využívání formálních metod. V této …víceAbstract:
Computers are ubiquitous; this is especially true in the case of so called embedded devices. These devices usually have constrained computational resources. Software development for such systems tends to be conservative and use tools such as C programming language. More recently, there is a notable inclination towards Java. Embedded systems have also increased dependability requirements that lead to …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 1. 11. 2012
Zveřejnit od: 31. 12. 2999
Obhajoba závěrečné práce
- Vedoucí: Doc. Ing. Stanislav Racek, CSc.
Citační záznam
Jak správně citovat práci
PAŠKA, Marek. DEVELOPMENT OF DEPENDABLE AND EFFICIENT SOFTWARE WITH DYNAMICALLY-TYPED LANGUAGES. Plzeň, 2012. disertační práce (Ph.D.). ZÁPADOČESKÁ UNIVERZITA V PLZNI. Fakulta aplikovaných věd
Plný text práce
Právo: Autor si nepřeje zpřístupnění práce veřejnosti
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou nedostupné.
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: ZÁPADOČESKÁ UNIVERZITA V PLZNI, Fakulta aplikovaných vědZÁPADOČESKÁ UNIVERZITA V PLZNI
Fakulta aplikovaných vědDoktorský studijní program / obor:
Inženýrská informatika / Informatika a výpočetní technika