This paper defines the basis for the implementation in CASL (Common Algebraic Specification Language) of an interval library such that intervals behave as real numbers endowed with an error information. To achieve that, we redefine the notion of interval local set defined in [15] in such a way that it can be implemented in the underlying logic of CASL. With these results, it is possible to mani...

Algebraic specification frameworks such as the Casl family of specification languages are presently expanding to encompass all aspects of software, including e.g. functional programming and reactive specification. Thus, a comprehensive environment for formal software development is being created. This paper gives an overview of publications by the author that contribute to this goal, both in th...

The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CAS...

Casl the basic language developed within CoFI, the Common Framework Initiative for algebraic specification and development, cannot be used for specifying the requirements and the design of dynamic software systems. Casl-Ltl is an extension to overcome this limit, allowing to specify dynamic system by modelling them by means of labelled transition systems and by expressing their properties with ...

The integration of processes and data is a long standing research topic. In this thesis, we study this integration in the context of the language CSP-CASL, where CSP is used to describe processes aspects and CASL is used to describe data aspects. Our specific questions are: Is it possible to make structuring operations available for building up complex specifications in a compositional way? Wha...

PURPOSE To develop a simple and robust magnetic resonance imaging (MRI) pulse sequence for the quantitative measurement of blood flow in the brain and cerebral tumors that has practical implementation advantages over currently used continuous arterial spin labeling (CASL) schemes. MATERIALS AND METHODS Presented here is a single-coil protocol that uses a train of hyperbolic secant inversion p...

We deene an extension of Casl, the standard language for algebraic speciication, with a late binding mechanism. More precisely, we introduce a special kind of functions called methods, for which, diierently to what happens for usual functions, overloading resolution is delayed at evaluation time and not required to be conservative. The extension consists, at the semantic level, in the deenition...

The analytic center cutting plane method (ACCPM) is one of successful methods to solve nondifferentiable optimization problems. In this paper ACCPM is used for the first time in the vehicle routing problem with time windows (VRPTW) to accelerate lagrangian relaxation procedure for the problem. At first the basic cutting plane algorithm and its relationship with column generation method is clari...

This is the first of two papers devoted to the analysis of contour crossing errors that occur in contour-advective simulations of fluid motion. Here an algorithm is presented for quantifying the error due to contour crossings. The method for analysing contour crossing errors works in several stages. The first step is to determine the relative proximity of all possible pairs of contours. A digit...