Does the potential of reuse increase when formalism is used efficiently?

Main -> FAQ -> R-PQAM-1


 * Theme: Training Scope and Pace (TSP)
 * Role: High-Level Manager (HM)

Answer
At the process level, the answer is yes:


 * Bosch reused the methodology that was developed for the first pilot with some additional improvements to cope with identified limitations . The methodology is based on a progressive formalisation approach from requirements expressed in natural language to requirements expressed as problems frames and then to formal models in Event-B. In order to im-prove the transition to Event-B, an additional formalism based on RSML (Requirements State Machine Language) was introduced. This allows analysts to better specify state and transition-based systems. Previously finite state machines had to be directly traced from natural requirements to Event-B resulting in poor maintainability. With RSML finite state machines can now be specified in an explicit formalism before being translated in Event-B