Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Michal Kosinár is active.

Publication


Featured researches published by Michal Kosinár.


computer information systems and industrial management applications | 2010

Building process definition with ontology background

Svatopluk Štolfa; Jan Kozuszník; Michal Kosinár; Marie Duzí; Martina Cíhalová; Ivo Vondrák

Documented software processes and their assessments are the basics of modern software development. Currently the semantic web, knowledge bases and knowledge management have many applications. Yet, applications to support software processes (and business processes in general) are rather neglected. In this paper we focus on applying a knowledge layer into software processes and on the design of such a knowledge base. After a brief description of some classical fundamental approaches to software processes and knowledge bases, we propose an improvement based on the application of a machine readable knowledge base. In particular, we aim at optimizing and improving software process development using knowledge bases created with the aim to formally describe software process development.


international conference on evaluation of novel approaches to software engineering | 2010

Know How and Know What for Software Processes

Jan Kožusznik; Svatopluk Štolfa; Marie Duží; Michal Kosinár; Martina Cíhalová

Formal specification of a software process, as well as its optimal design, is a fundamental landmark and tenet that any successful software company must follow. Recent trends can be characterized as a knowledge-base support of the software-process development, standardization and improvement. To this end we create semantic annotations (ontologies) of processes which should serve as a stable unifying core of the software-process development. However, when doing so, we meet the problem how to transform various forms of tacit, implicit knowledge into an explicit knowledge specification that is logically tractable and machine readable. In this paper we focus on the transformation of informal tacit knowledge about a software process (or any part of the process) to the formal knowledge specification that can be used for building machine readable knowledge bases. In particular, we aim at optimizing and improving software-process development using knowledge bases which are created to the purpose of a formal description of the software-process development.


programmable devices and embedded systems | 2013

Simulations of Agile Software Processes for Healthcare Information Systems Development Based on Machine Learning Methods

Michal Kosinár; Radoslav Štrba

Abstract Requirements on software products are becoming more and more complicated and software systems of today are characterized by increasing complexity and size. Therefore, software systems can no longer be developed feasibly without the processes supported by appropriate methods. We propose a method for configuration and modification of software processes in companies based on gathered knowledge and our approach allows to support and optimize the processes with formal methods of modelling and machine-learning based simulations.


Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX | 2009

The TIL-Script Language

Nikola Ciprich; Marie Duží; Michal Kosinár


European Journal of Combinatorics | 2008

The TIL-Script Language.

Nikola Ciprich; Marie Duzí; Michal Kosinár


RASLAN | 2007

Functional Programming Based on Transparent Intensional Logic.

Nikola Ciprich; Marie Duzí; Michal Kosinár


international conference on evaluation of novel approaches to software engineering | 2017

Knowledge Support for Software Processes

Michal Kosinár; Svatopluk Štolfa; Jan Kožusznik


European Journal of Combinatorics | 2014

Intelligent software support of the SCRUM process.

Radoslav Štrba; Jakub Stolfa; Svatopluk Štolfa; Michal Kosinár


European Journal of Combinatorics | 2012

Knowledge-base approach to software-process development based on TIL.

Marie Duzí; Michal Kosinár; Jan Kozusznik; Svatopluk Štolfa


European Journal of Combinatorics | 2013

Knowledge Modeling of Agile Software Processes.

Michal Kosinár; Radoslav Štrba; Jindrich Cernohorský

Collaboration


Dive into the Michal Kosinár's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Svatopluk Štolfa

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Marie Duží

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Radoslav Štrba

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Tomás Frydrych

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Jan Kožusznik

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Martina Cíhalová

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Ondrej Kohut

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Ivo Vondrák

Technical University of Ostrava

View shared research outputs
Top Co-Authors

Avatar

Jakub Stolfa

Technical University of Ostrava

View shared research outputs
Researchain Logo
Decentralizing Knowledge