2493 search results - page 58 / 499 » Tool Support for Design by Contract |
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
CSCW
2002
ACM
14 years 9 months ago
2002
ACM
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...
FLAIRS
2003
14 years 11 months ago
2003
Three CBR systems were created to improve customer support at General Electric Appliances. The first tool helped call takers answer customers’ questions by using a case base of ...
SCSC
2007
14 years 11 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Extended Abstract: Supporting Design Studio Culture in HCI The workshop considers the needs and possibilities for integrating design studio culture within the research, education,...