Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Ensuring dependability of software requires the use of formal methods. Hover, formal methods are still not widely accepted in engineering practice. One of the reasons for this is difficulty of deriving formal specifications from large and complex requirements given in natural language. ,  propose an approach to deriving formal specifications of reactive systems starting from their requirements.  base our approach on proposing a new requirements language and show how to transform the informal requirements of a reactive system into requirements written in this language. The derived requirements allow us to better structure the informal requirements.  show how these requirements are then systematically translated into a formal specification in the B Method, which is our formal modelling framework. To validate the proposed approach,  conduct a case study and show how to obtain formal specification of a reactive routing protocol for ad-hoc networks - AODV (Ad hoc On-Demand Distant Vector) routing protocol.
['Duvravka Ilic']
I am writing a research paper on a idea Deriving Formal Specifications from Informal Requirements
[{"from": "human", "value": "I am writing a research paper on a idea Deriving Formal Specifications from Informal Requirements"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Ensuring dependability of software requires the use of formal methods. Hover, formal methods are still not widely accepted in engineering practice. One of the reasons for this is difficulty of deriving formal specifications from large and complex requirements given in natural language. ,  propose an approach to deriving formal specifications of reactive systems starting from their requirements.  base our approach on proposing a new requirements language and show how to transform the informal requirements of a reactive system into requirements written in this language. The derived requirements allow us to better structure the informal requirements.  show how these requirements are then systematically translated into a formal specification in the B Method, which is our formal modelling framework. To validate the proposed approach,  conduct a case study and show how to obtain formal specification of a reactive routing protocol for ad-hoc networks - AODV (Ad hoc On-Demand Distant Vector) routing protocol."}]