Abstract In this paper a test for specification in functional regression with scalar response that exploits semi-parametric principles is illustrated. Once the statistics defined, its asymptotic null distribution derived under suitable conditions. The finite sample performances of are analyzed through simulation study by using both p- value and some bootstrap approaches. To appreciate potential...

The primary purpose of a specification is to make explicit the intentions of designers. For these intentions to be expressed precisely, a formal (mathematical) language should be used. The use of a formal language per se does not guarantee that intentions will be expressed correctly, but provides a basis for arguments of correctness. Z is a rich and expressive formal language. Arguments of corr...

In this paper we describe standard structures for model transformation specifications and implementations, which serve as patterns for constructing a wide range of model transformations. We use specification patterns to derive relationships between invertibility, change-propagation and the existence of language-level interpretations for transformations that are defined using the pattern. We als...