Reaims: Integrating Formal Methods with the RE Process

This strand is principally concerned with investigating the use of formal methods (the B method) in the specification of railway signalling systems and with integrating the work on viewpoints and human factors analysis with a requirements engineering process which includes the use of formal system specification. Again, the process improvements will be tested on a real application from the railway signalling domain and quantitative information collected.

« Back      Next »