Background: Software size is one of the key factors that has the potential to affect the effort of software projects. Providing accurate software size estimation is a complex task. A number of functional size measurement (FSM) methods have been proposed to quantify the size of software based on functional user requirements (user perspective). Function point analysis (FPA) was the first proposal...

This work is about Frobenius-Padé approximants for series of orthogonal polynomials of dimension d (d ∈ N). Concerning to the series, we give the projection property of partial sums, we show how to compute their coe cients, and how to get the coe cients of the product of a series by a polynomial. Concerning to the approximants we work essentially about their recursive computation. Also, we give...

The automatic generation of test cases is an important issue for conformance testing of several critical systems. We present a new method for the derivation of test suites when the specification is modeled as a combined Finite State Machine (FSM). A combined FSM is obtained conjoining previously tested submachines with newly added states. This new concept is used to describe a fault model suita...

In this paper, we consider the minimum Hamming weight for linear codes over special finite quasi-Frobenius rings. Furthermore, we obtain minimal free $R$-submodules of a finite quasi-Frobenius ring $R$  which contain a linear code and derive the relation between their minimum Hamming weights. Finally, we suggest an algorithm that computes this weight using the Grobner basis and we show that und...

In the first part of this paper, we give a new analytical proof theorem C. Sabbah on integrable deformations meromorphic connections $\mathbb P^1$ with coalescing irregular singularities Poincar\'e rank 1, and generalizing previous result B. Malgrange. second as an application, prove that any semisimple formal Frobenius manifold (over C$), unit Euler field, is completion analytic pointed germ D...

Plant modeling is used extensively in plant structure research and in creating virtual plants for virtual environments. Lindenmayer systems (L-systems), which consist of a set of replacement rules that iteratively modify a string, are an important tool in plant modeling, and have already been used to model the structures of plants like corn and soy. In this study, the L-system concept was combi...

We imitate some approaches in infinite dimensional representation theory of complex semisimple Lie algebras by using the truncated category method in the categories of modules for certain Frobenius subgroups of a semisimple algebraic group over an algebraically closed field of characteristic p > 0. By studying the translation functors from p-singular weights to p-regular weights, we obtain some...

Fuzzy semantic model (FSM) is a data model that uses basic concepts of semantic modeling and supports handling fuzziness, uncertainty and imprecision of real-world at the attribute, entity and class levels. The paper presents the principles and constructs of the FSM. It proposes ways to define the membership functions within all the constructs of the FSM. In addition, it provides a proposal for...

An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of today’s protocols, the number of consecutive self-loops that can be traversed in a given state before a timeout occurs is limited. A test sequence that does not consider timing constraints will likely ...

An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of today's protocols, the number of consecutive self-loops that can be traversed in a given state before a timeout occurs is limited. An example of a protocol where this constraint occurs is MIL-STD 188-2...