2493 search results - page 215 / 499 » Tool Support for Design by Contract |
181
click to vote
ACMDIS
2006
ACM
16 years 17 days ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
194
click to vote
MSE
2005
IEEE
16 years 4 days ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
223
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
141
click to vote
ISESE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a study of collaboration in software design at a large software company. Ethnographic studies of development teams in the field are relatively rare, so this pa...
249
click to vote
EICS
2011
ACM
14 years 10 months ago
2011
ACM
Although reactive and graphically rich interfaces are now mainstream, their development is still a notoriously difficult task. This paper presents Hayaku, a toolset that supports...