A discrete-time software reliability-growth model and its application for predicting the number of errors encountered during program testing
A Generalized Model of PAC Learning and its Applicability
We combine a new data model, where the random classification is subjected to rather weak restrictions which in turn are based on the Mammen−Tsybakov [E. Mammen and A.B. Tsybakov, Ann. Statis. 27 (1999) 1808–1829; A.B. Tsybakov, Ann. Statis. 32 (2004) 135–166.] small margin conditions, and the statistical query (SQ) model due to Kearns [M.J. Kearns, J. ACM 45 (1998) 983–1006] to what we refer to as PAC + SQ model. We generalize the class conditional constant noise (CCCN) model introduced by Decatur...
A metric for evaluating software architecture and communication models consistency
Among several alternative viewpoints for building software quality metrics, evaluating the consistency between different models in a software specification or implementation appears to be fruitful. An obvious difficulty is that different models are usually expressed by means of different concepts, and then, confronting heterogeneous representations is not straightforward. In this paper, we propose a solution for measuring the consistency between the architecture and the communication models. After...
A metric for evaluating software architecture and communication models consistency
Among several alternative viewpoints for building software quality metrics, evaluating the consistency between different models in a software specification or implementation appears to be fruitful. An obvious difficulty is that different models are usually expressed by means of different concepts, and then, confronting heterogeneous representations is not straightforward. In this paper, we propose a solution for measuring the consistency between the architecture and the communication models. After...
A mixed–FEM and BEM coupling for a three-dimensional eddy current problem
We study in this paper the electromagnetic field generated in a conductor by an alternating current density. The resulting interface problem (see Bossavit (1993)) between the metal and the dielectric medium is treated by a mixed–FEM and BEM coupling method. We prove that our BEM-FEM formulation is well posed and that it leads to a convergent Galerkin method.
A mixed–FEM and BEM coupling for a three-dimensional eddy current problem
We study in this paper the electromagnetic field generated in a conductor by an alternating current density. The resulting interface problem (see Bossavit (1993)) between the metal and the dielectric medium is treated by a mixed–FEM and BEM coupling method. We prove that our BEM-FEM formulation is well posed and that it leads to a convergent Galerkin method.