It has been widely acknowledged that ambiguous or incomplete customer requirements are a major reason for the failure of software development projects. A key example of this is the inconsistency between implementation image and specifications provided in the early stages of software development. To address this, we propose a method for automatic generation of user interface prototypes for devel...

Self-organizing maps have been adopted in many fields as the data visualization method of choice. The unified distance matrix is the de facto standard for evaluating and interpreting self-organizing maps. In large, high-dimensional problems clusters can be difficult to identify in the plain unified distance matrix. Here we introduce an enhanced version of the unified distance matrix in which cl...

In this paper we demonstrate that the distributional laws that relate the number of customers in the system (queue), L (<?) and the time a customer spends in the system (queue), S (W) under the first-in-first-out (FIFO) discipline lead to a complete solution for the distributions of L, Q, S, W for queueing systems which satisfy distributional laws for both L and Q {overtake free systems). Moreo...

Employing the notions of the strong $L$-topology introduced by Zhangand the $L$-frame introduced by Yao  and the concept of $L$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf St$L$-Top} of strong$L$-topological spaces, {bf S$L$-Loc} of strict $L$-locales and{bf $L$-EnTopSys} of $L$-enriched topological systems. All of theseconcepts are ...