2132 search results - page 239 / 427 » Automated software winnowing |
129
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
Extreme Programming (XP) is a new and controversial sojiware processfor small teams. A practical training courseat the universityof Karlsruheled to thefollowing observations about...
151
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
143
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper focuses on a scheme for automated tumor recognition using images acquired during endoscopic sessions. The proposed recognition system is based on multi-layer feed forwa...
132
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
142
click to vote
ISN
1999
Springer
15 years 9 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...