129 search results - page 2 / 26 » From HCI to Software Engineering and Back |
IJMI
2010
13 years 3 months ago
2010
The integration of Software Engineering (SE) and Human-Computer Interaction (HCI) methods and models is an interesting means for modelling an organization's activities, with ...
PEPM
2010
ACM
14 years 1 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciļ...
PEPM
2009
ACM
14 years 1 months ago
2009
ACM
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data reļ¬nement rules is introduced to map a tabular data...
INTERACT
2003
13 years 6 months ago
2003
: Models from methods like Contextual Design (CD) are a sound basis for requirements engineering. But current software engineering processes are not prepared to use such models. To...
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
One way to remedy the gap that currently exists between software engineering and human computer interaction is to expose undergraduate students to the ideas, concepts, processes, ...