Formal Description of Components in Operating Systems
Asen Petkov Iliev
Dr. Asen Petkov Iliev, Professor, Department of Computer Science, Burgas University, Dr. Assen Zlatarov, Burgas Bulgaria.
Manuscript received on 10 September 2013 | Revised Manuscript received on 19 September 2013 | Manuscript Published on 30 September 2013 | PP: 96-98 | Volume-3 Issue-4, September 2013 | Retrieval Number: D1182093413/13©BEIESP
Open Access | Editorial and Publishing Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: The contemporary development of hardware components is a prerequisite for increasing the concentration of computing power. System software is developing at a much slower pace. To use available resources efficiently modeling is required. Formalization of elements, present in the material, provides the basis for modeling. Examples are presented to demonstrate the efficiency of the concept.
Keywords: Operating Systems, Modeling, Formal Description, System Programming.
Scope of the Article: Adaptive Systems