In this report, we describe an approach that integrates a mathematical speci cation language with more traditional software design techniques to yield a practicable methodology for the speci cation of safety-critical control systems. To manage complexity and to foster separation of concerns, the system design model is divided into three views: the architectural view, speci ed with object and cl...

Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Deciding which solution to adopt requires considering several trade-offs. Model checking represents a possible way of comparing such designs, however, when the number of designs is large, building and validating so many models may be intracta...

This paper deals with a kind of design of a ruled surface. It combines concepts from the fields of computer aided geometric design and kinematics. A dual unit spherical Bézierlike curve on the dual unit sphere (DUS) is obtained with respect the control points by a new method. So, with the aid of Study [1] transference principle, a dual unit spherical Bézier-like curve corresponds to a ruled sur...