8636 search results - page 374 / 1728 » How Developers Copy |
166
click to vote
IEE
2008
15 years 6 months ago
2008
: A simple and practical technique for assessing the risks, that is, the potential for error, and consequent loss, in software system development, acquired during a requirements en...
263
click to vote
IJVR
2006
15 years 6 months ago
2006
In this paper, we will explain our approach to create and animate virtual characters for real-time rendering applications in an easy and intuitive way. Furthermore we show a way ho...
205
click to vote
JUCS
2000
15 years 6 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
191
click to vote
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
We argue that the disruption associated with war can help develop a deeper theoretical and practical understanding of how Information and Communication Technologies (ICTs) enable ...
177
Voted
TFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...