Sciweavers

15779 search results - page 2394 / 3156
» Change-oriented software engineering
Sort
View
UIST
1993
ACM
15 years 11 months ago
Model-based User Interface Design by Example and by Interview
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
Martin R. Frank, James D. Foley
UIST
1993
ACM
15 years 11 months ago
Animation: From Cartoons to the User Interface
: User interfaces are often based on static presentations, a model ill suited for conveying change. Consequently, events on the screen frequently startle and confuse users. Cartoon...
Bay-Wei Chang, David Ungar
UIST
1993
ACM
15 years 11 months ago
Skeletal Strokes
A skeletal stroke is a kind of general brush stroke for changing the shape of pictures as if by bending, shearing, twisting, while conservating the aspect ratio of selected featur...
S. C. Hsu, I. H. H. Lee, Neil E. Wiseman
TACS
1994
Springer
15 years 11 months ago
Full Abstraction for PCF
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
Samson Abramsky, Pasquale Malacaria, Radha Jagadee...
TACS
1994
Springer
15 years 11 months ago
ML Typing, Explicit Polymorphism and Qualified Types
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
Mark P. Jones
« Prev « First page 2394 / 3156 Last » Next »