A methodology is presented for the hierarchical structured design of state diagram
specifications. It is based on a set of restrictions on the composition of the hierarchy that …

This paper argues that a renewed classical phenomenology can complement
postphenomenology in exploring the overwhelming influence of contemporary media …

In most computer science curricula, the concepts of naming and binding are explicitly treated
only in a small number of the later courses, such as operating systems and programming …

This work concerns the development and implementation of real-time image processing
algorithms. Such systems may be applied to industrial inspection problems, which typically …

SUMMARY A methodology is presented for the hierarchical, constructionally correct
specification of digital controllers. It allows easy adaptation to architectural changes and …