The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Pictures have been used in informal specification methods for years, clarifying textual descriptions. This paper deals with integration of pictorial representations into formal specification techniques. The usage of pictures does not necessarily imply giving up formality, and this is illustrated with the pictorial language POLAR. This pictorial language shows the modular structure of possibly complex...
We introduce a special version of lambda calculus called λπ, which is defined for any algebraic system with preorder. We do not have lambda terms λx.X, but we have terms λx ⊑ R.X, where R is a parameter restriction. The effect of the parameter restrictions is formalised by the rules of the calculus. Instead of the rule β there is a rule called π. This calculus has been used to give a meaning to the...
This paper describes a case study in the application of COLD-K as a specification language. The subject of the case study is the INGRES relational data base system.
In this paper we present a theory of correctness-preserving transformations of designs. The paper gives an informal introduction to both the structuring concept of a “design” and to certain dynamic aspects of the software development process. There is a focus on combining designs, strategies for growing designs and re-adapting them to external-context modifications. Although the notion of a design...
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software...
This paper presents a study on the effects of using virtual worlds as medium for interaction with telepresence robots. The Prototype for Assisted Communication PAC4 is also introduced. This system connects virtual worlds with real robots, allowing virtual world users to access the robot capabilities in a telepresence scenario. A user experiment was conducted to evaluate the effects of PAC4 on the...
When designing an ECG monitoring system embedded with textile electrodes for comfort, it is challenging to ensure reliable monitoring, because textile electrodes suffer from motion artifacts and incidental poor signal quality. For the design of a comfortable monitoring system for prematurely born babies in the Neonatal Intensive Care Unit (NICU), we propose the concepts of ‘diversity measurement’...
Successful results have been booked with using robotics in therapy interventions for autism spectrum disorders (ASD). However, to make the best use of robots, the behavior of the robot needs to be tailored to the learning objectives and personal characteristics of each unique individual with ASD. Currently training practices include adaptation of the training programs to the condition of each individual...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.