726 search results - page 17 / 146 » Formal Requirements Engineering: Learning from the Students |
108
click to vote
IJKL
2007
14 years 11 months ago
2007
: Awareness is required for supporting all forms of cooperation. In Computer Supported Collaborative Learning (CSCL), awareness can be used for enhancing collaborative opportunitie...
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...
UIST
1991
ACM
15 years 3 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...
107
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
106
click to vote
CIDM
2007
IEEE
15 years 3 months ago
2007
IEEE
Web-Streaming lectures overcome the space and time barriers between learning and teaching, but bring higher requirements on the learning feedback of students when they browse lectu...