Developping an IDE for writing pattern-based and formal requirements H/F
... to develop an interactive editor and associated library for writing ... constitute a library. The editor should refer to a pre- ... constitute a library. The editor should refer to a pre- ... new safety requirements. The editor should be integrated to Sophia [ ...