5252 search results - page 278 / 1051 » Requirements engineering: a roadmap |
147
click to vote
UIST
1991
ACM
15 years 10 months ago
1991
ACM
User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of sev...
192
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In the Eclipse JDT, the Java reference resolution rules are applied as fully as possible, thereby either determining the unique target for a given reference or signalling that the...
199
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
147
click to vote
FECS
2007
15 years 8 months ago
2007
In this paper, we discuss the design and engineering of the C-P30, a custom robot design at Cal Poly State University, San Luis Obispo. This robot is designed by undergraduate com...
192
click to vote
PDSE
1998
15 years 8 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...