8627 search results - page 1394 / 1726 » Software Engineering Using RATionale |
243
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
188
click to vote
COBUILD
1998
Springer
15 years 11 months ago
1998
Springer
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
182
click to vote
UML
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
182
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...
207
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we present our approach of using gamelike techniques for designing wearable computing solutions for the Paris Fire Brigade, consisting of namely a board game and a v...