3 ms·

But that still relies on having a prior notion of the formal requirements of your system. I know little about insurance systems, but deriving a formal specifica

But that still relies on having a prior notion of the formal requirements of your system. I know little about insurance systems, but deriving a formal specification seems like a nightmare task. Although, as you mentioned, if you had a partial one you certainly would get some benefits from it.

aiono 2y ago
It's been a while since I worked on those systems, but you usually decide on some rules that you refine over time. So they are purely logical decisions that you can formalize. I don't see why it would be hard to specify. I don't mean to specify all up front but one can specify the exact decision procedure that is implemented right now very easily in my experience. Generally you have a state machine representing the process. This state machine is usually embedded in the code, but code has a lot of noise around the state machine that makes it harder to see the underlying state machine.