611 search results - page 43 / 123 » Testing interfaces that do not exist |
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
CHI
2010
ACM
15 years 5 months ago
2010
ACM
To supplement existing forms of communication such as telephone and e-mail, this research proposes a new method of communicating “awareness” between people who are separated b...
115
click to vote
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...
SIGSOFT
2000
ACM
15 years 3 months ago
2000
ACM
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...