FORMAL REPRESENTATIONS OF DEPENDENCE AND GROUNDEDNESS

We study, in an abstract and general framework, formal representations of dependence and groundedness which occur in semantic theories of truth. Our goals are (a) to relate the different ways in which groundedness is defined according to the way dependence is represented and (b) to represent different notions of dependence as instances of a suitable generalisation of the mathematical notion of functional dependence.

Industrial Examples of Formal Specifications for Test Case Generation

While requirements engineering has received considerable attention inacademia over the past years, formalization of requirements for physicallyinfluenced systems is still a difficult task in practice. In this paper, we giveformal representations of some typical requirement classes arising in theautomotive industry. We divide these patterns into three main classes:those mostly referring to properties of continuous signals, those mostlyreferring to discrete events and those referring to similarity to a referencesignal. We discuss these patterns on concrete examples from automotiveembedded systems, where specifications are used for test case generation.

An extension of the method of brackets. Part 1

The method of brackets is an efficient method for the evaluation of alarge class of definite integrals on the half-line. It is based on a small collection of rules, some of which are heuristic. The extension discussed here is based on the concepts of null and divergent series. These are formal representations of functions, whose coefficients an have meromorphic representations for n ∈ ℂ, but might vanish or blow up when n ∈ ℕ. These ideas are illustrated with the evaluation of a variety of entries from the classical table of integrals by Gradshteyn and Ryzhik.