122
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
144
click to vote
DSVIS
1995
Springer
15 years 8 months ago
1995
Springer
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
109
click to vote
DSVIS
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
143
click to vote
WAIM
2000
Springer
15 years 8 months ago
2000
Springer
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...