2835 search results - page 360 / 567 » Imperfect Requirements in Software Development |
136
click to vote
SEW
2006
IEEE
16 years 13 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
170
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
187
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
174
click to vote
INTERACT
1997
15 years 7 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
162
click to vote
JSS
2008
15 years 6 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...