Finite State Machine (FSM) synthesis traditionally starts with state minimization and state encoding, which provide codes of minimal length to the FSM with minimal number of states. Recently, there have been studies on encoding with nonminimal length and synthesis on non-minimized FSM. In this paper, we propose the framework of FSM re-engineering, which starts with synthesizing the original FSM...

Context: software development effort estimation is a crucial management task that critically depends on the adopted size measure. Several Functional Size Measurement (FSM) methods have been proposed. COSMIC is considered a 2nd generation FSM method, to differentiate it from Function Point Analysis (FPA) and its variants, considered as 1st generation ones. In the context of Web applications, few...

In this paper we use equation solving for translating internal tests derived for a component embedded within a composite system into external tests defined over the external alphabets of the system. The composite system is represented as two communicating finite state machines (FSMs), an embedded component FSM, and a context FSM that models the remaining part of the system and which is assumed ...

The paper addresses the problem of adaptive testing of a deterministic FSM which models an implementation under test using a nondeterministic FSM as its specification. It elaborates a method for deriving test fragments, combining and executing them in adaptive way such that the implementation passes the test if and only if it is a reduction of the specification. Compared to the existing methods...

Cardinal’s matrix version of the Sebastiao e Silva polynomial root-finder rapidly approximates the roots as the eigenvalues of the associated Frobenius matrix. We preserve rapid convergence to the roots but amend the algorithm to allow input polynomials with multiple roots and root clusters. As in Cardinal’s algorithm, we repeatedly square the Frobenius matrix in nearly linear arithmetic time p...

BACKGROUND Sequential injection chromatography (SIC) is a young, ten years old, separation technique. It was proposed with the benefits of reagent-saving, rapid analysis, system miniaturization and simplicity. SIC with UV detection has proven to be efficient mostly for pharmaceutical analysis. In the current study, a stand-alone multi-wavelength fluorescence (FL) detector was coupled to an SIC ...

Although functional size measurement (FSM) methods give roughly similar results, they’ve been designed neither to measure the same attribute nor to use the same rating scale. Consequently, when measured using different methods, a software product has different functional sizes. Each method has its own definition of functionality and uses different counting schemas for different func­ tional use...

We give a new proof of the well known Wedderburn's little theorem (1905) that a finite‎ ‎division ring is commutative‎. ‎We apply the concept of Frobenius kernel in Frobenius representation theorem in finite group‎ ‎theory to build a proof‎.