The original paradigm of literate programming was brought forward mainly for software development, or specifically, to mix source code (for computer) and documentation (for human) together. Early systems include WEB and Noweb; Sweave (Leisch, 2002) was derived from the latter, but it is less focused on documenting software, instead it is mainly used for reproducible data analysis and generating...

The article contains a critique of the concept democratic deficit EU. Its logical unsustainability is revealed by demonstrating that it based on ‘fallacy false analogy’. Several numerous implications this assertion are elaborated, with special emphasis ‘no-demos thesis’. does not treat idea EU merely as an analytical analogy and thus logically incorrect. For has been persistently used in politi...

Designing effective Clinical Decision Support (CDS) tools in an Electronic Health Record (EHR) can prove challenging due to complex clinical scenarios and changing requirements; application of agile principles and practices proves helpful in the development and delivery of effective CDS tools for use in clinical care. By applying agile project management methods such as short time-boxed iterati...

This paper describes gscope, a visualization tool for time-sensitive applications. Gscope provides an oscilloscope-like interface that can be integrated with applications. It focuses on software visualization and is thus designed to handle various types of signal waveforms, periodic or event-driven, in single or multithreaded environments as well as local or distributed applications. Gscope hel...

We extend Pratt’s worst-case optimal decision procedure for PDL to a richer logic with nominals, difference modalities, and inverse actions. We prove correctness and worst-case optimality. Our correctness proof is based on syntactic models called demos. The main theorem states that a formula is satisfiable if and only if it is contained in a demo. From this theorem the correctness of the decisi...

We present a computer vision library for Haskell and discuss its design and architecture. The library is then used for developing two demo applications. Two case studies analyze these demos and show that Haskell is well-suited for implementing vision algorithms, with significant gains in productivity, readability, correctness, and conciseness. We demonstrate that by keeping a limited set of per...

In the paper a web-based control design environment for distributed parameter systems control education is presented. It is arranged on www.dpscontrol.sk and includes: full downloadable demo version of Distributed Parameter Systems Blockset for MATLAB & Simulink with Show, Demos and DPS Wizard – third-party MathWorks product; web Service for support control solutions via internet and internet m...