403 search results - page 42 / 81 » Integrating Z into Large Projects Tools and Techniques |
APCCM
2008
15 years 1 months ago
2008
We identify established tableaux techniques as an invaluable tool for semantic knowledge acquisition in the design process of relational databases. Sample databases allow users an...
122
click to vote
ITS
1998
Springer
15 years 4 months ago
1998
Springer
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
IUI
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents our novel framework, which creates user interfaces (UIs) for a variety of devices by annotating and reusing an existing one originally designed for large devic...
ICSM
1995
IEEE
15 years 3 months ago
1995
IEEE
This paper describes ongoing work on a domainretargetable reverse engineering environment which is used to aid the structural understanding of large information spaces. In particu...
BCSHCI
2008
15 years 1 months ago
2008
Creativity is indispensable for more innovative interactive system development. This tutorial is relevant to anyone involved in large projects that are exploiting new technologies...