Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
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...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.