16725 search results - page 2795 / 3345 » Engineering Software Correctness |
185
click to vote
ECLIPSE
2004
ACM
16 years 13 days ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
151
click to vote
IHM
2004
ACM
16 years 13 days ago
2004
ACM
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
180
click to vote
ITICSE
2004
ACM
16 years 13 days ago
2004
ACM
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
164
click to vote
MM
2004
ACM
16 years 13 days ago
2004
ACM
Auracle is a networked sound instrument controlled by the voice. Users jam together over the Internet using only a microphone. Throughout the development process, the authors expe...
145
click to vote
SAC
2004
ACM
16 years 13 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...