William Steingartner

  • Citations Per Year
Learn More
Category is a mathematical structure consisting of objects and morphisms between objects with some specific properties. Categories examine in abstract way the properties of particular mathematical concepts by formalizing them as collections of objects and morphisms. Categorical structures are widely used in computer science for exact mathematical modeling.(More)
Semantics is concerned with the interpretation of programs written in some languages. The purpose of structural operational semantics is to describe how a computation is performed. This method is one of the most popular semantic methods in the community of software engineers. It describes program behavior in the form of state changes caused by the execution(More)
Dear reader, we present you with this special issue of the Central European Journal of Computer Science devoted to various areas of informatics. Informatics, computers, information technologies and their applications interfuse into different scientific areas, from technical sciences, natural sciences, economical sciences and human sciences trough education(More)
In presence of rapid development of information and communications technology (ICT) able to increase data processing, much more data can be stored, used and/or mediated and disseminated. Today, information and knowledge become a resource of strategic importance in complex systems, both business and military. On the other hand the question of credibility of(More)
Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of elementary steps of program. This feature makes structural(More)
we present you with this special issue of the Central European Journal of Computer Science devoted to various areas of informatics. Informatics, computers, information technologies and their applications interfuse into different scientific areas, from technical sciences, natural sciences, economical sciences and human sciences trough education process up to(More)
Dear reader, we present you with the second part of the special issue of the Central European Journal of Computer Science devoted to various areas of informatics. This issue consists of extended and revised versions of selected papers presented at the 12th event of the international scientific conference Informatics’2013, which was held in November 2013 in(More)
  • 1