851 search results - page 2 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
CAISE
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
ICPR
2004
IEEE
14 years 6 months ago
2004
IEEE
1 We present a high speed machine vision system for the inspection and quality assurance of canned tuna, which is currently working at a rate over 1000 cans per minute. The system ...
PROFES
2001
Springer
13 years 9 months ago
2001
Springer
Requirements Evolution represents one of the major problems in developing computer-based systems. Current practice in Requirement Engineering relies on process-oriented methodologi...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper applies Lehman's theory of software evolution to analyse the characteristics of web-based applications and identifies the essences and incidents that cause difficu...
RE
2008
Springer
13 years 3 months ago
2008
Springer
Requirements models are essential not just during system implementation, but also to manage system changes post-implementation. Such models should be supported by a requirements m...