Functional size measurement (FSM) is an important component of a software project, as it provides information for estimating the effort required to develop the measured software. For planning purposes, FSM should be performed during the early stages of the project. Considering that a common use of business process models is to gather requirements from the early stages of the project, this raise...

In this paper, we consider the problem of test derivation from a specification FSM, assuming that all possible implementation FSMs are submachines of some nondeterministic FSM. The latter represents a restricted class of faults defined by the user. The state number in an implementation may exceed that of the specification. We present a method for test generation that can deliver shorter tests t...

We show that the differential transform is well known Taylor series (contrary to what authors claim) and method (DTM) Frobenius method, commonly used obtain exact or approximate solutions equations. The generalized (GTM) merely application of Padé approximants produced by method. argue particular differential-difference nonlinear equations are scarce utility because initial conditions not flexi...

We discuss conjugation and Dyson’s rank for overpartitions from the perspective of the Frobenius representation. More specifically, we translate the classical definition of Dyson’s rank to the Frobenius representation of an overpartition and define a new kind of conjugation in terms of this representation. We then use q-series identities to study overpartitions that are self-conjugate with resp...

we give further results for perron-frobenius theory on the numericalrange of real matrices and some other results generalized from nonnegative matricesto real matrices. we indicate two techniques for establishing the main theorem ofperron and frobenius on the numerical range. in the rst method, we use acorresponding version of wielandt's lemma. the second technique involves graphtheory.

The sensitivity and utility of a standard faecal sedimentation method (FSM) and a modified stool sieving staining method (FSSM), both currently employed for the diagnosis of Fasciola hepatica infection were compared. Faecal samples were obtained from 51 bovines of an endemic area for fasciolosis in Southwestern Argentina. Each sample was placed in a recipient containing 5% formalin. Eight milli...

A significant level of automation and flexibility has been added to the ACNET control system through the development of a Java-based Finite State Machine (FSM) infrastructure. These FSMs are integrated into ACNET and allow users to easily build, test and execute scripts that have full access to ACNET’s functionality. In this paper, a description will be given of the FSM design and its ties to t...

The management of software cost, development effort and project planning are key aspects of software development. Functional size measurement (FSM) has been proposed as a tool for these management requirements. Function Point Analysis (FPA) can be considered as the first FSM method published. Based on FPA, other methods have been proposed as improvements and alternatives that differ in their re...

Using limit linear series and a result controlling degeneration from separable maps to inseparable maps, we give a formula for the number of self-maps of P1 with ramification to order ei at general points Pi, in the case that all ei are less than the characteristic. We also develop a new, more functorial construction for the basic theory of limit linear series, which works transparently in posi...