Sciweavers

147 search results - page 20 / 30
» AUI: A Programming Language for Developing Plastic Interacti...
Sort
View
ICSE
2008
IEEE-ACM
14 years 8 months ago
Tool support for data validation by end-user programmers
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
Christopher Scaffidi, Brad A. Myers, Mary Shaw
ECOOP
1994
Springer
13 years 11 months ago
A Geographic Environmental Modeling System: Towards an Object-Oriented Framework
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
Bernd Bruegge, Erik Riedel
DOCENG
2008
ACM
13 years 9 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...
PPDP
2007
Springer
14 years 1 months ago
Mechanized metatheory model-checking
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
James Cheney, Alberto Momigliano
CHI
1998
ACM
13 years 12 months ago
Patterns of Change in Design Metaphor: A Case Study
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
William A. Stubblefield