. Dans, nous avons mis en lumière différents formalismes qui nous semblent utiles pour répondre à notre problématique. Notre présentation est loin d'être exhaustive. Il existe en effet de nombreux formalismes grammaticaux, sans réel consensus. Il serait intéressant de comparer ces formalismes

A. K. Références, Die syntaktische konnexität, Traduction française de, vol.1, pp.1-27, 1935.

A. A. Niwi´nskiniwi´-niwi´nski-d, Rudiments of [mu]-calculus. Studies in Logic and the Found, 2001.

A. A. Vincent-a.-&-walukiewicz-i, Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.303, issue.1, pp.7-34, 2003.

B. , A quasi-arithmetical notation for syntactic description, Language, vol.29, pp.47-58, 1953.

B. A. Caillaud-b, D. Nickovic, R. Passerone-r, P. Reinkemeier, . Sangiovanni-vincentelli-a et al., Contracts for system design, Foundations and Trends R in Electronic Design Automation, vol.12, issue.2-3, pp.124-400, 2018.

B. J. , Open-domain semantic parsing with boxer, Proceedings of the 20th Nordic Conference of Computational Linguistics, pp.301-304, 2015.

B. S. , Spécification d'exigences en langue naturelle, avec automates et logique. Master's thesis, 2016.

C. B. , Mica : A Modal Interface Compositional Analysis Library, 2011.

C. E. Emerson-e, Synthesis of synchronization skeletons for branching time temporal logic, Logic of programs : Workshop, vol.131, pp.244-263, 1981.

C. E. and E. E. Sistla-a, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986.

D. A. Alfaro-l.-&-henzinger-t, Interface automata, SIGSOFT Softw. Eng. Notes, vol.26, issue.5, pp.109-120, 2001.

D. E. Groote and P. , Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics, ACL '01, pp.252-259, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100529

. B. Dwyer-m, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21st International Conference on Software Engineering, ICSE '99, pp.411-420, 1999.

. E. Fuchs-n and . Schwitter-r, Specifying logic programs in controlled natural language, 1995.

. Corr,

G. , La connexion syntaxique, Philosophia Scientiae, pp.11-13, 2007.

J. B. Larsen-k, Specification and refinement of probabilistic processes, Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.266-277, 1991.

K. H. , A theory of truth and semantic representation, Formal Methods in the Study of Language, vol.1, pp.277-322, 1981.

K. S. Cheng-b, Real-time specification patterns, Proceedings of the 27th International Conference on Software Engineering, ICSE '05, pp.372-381, 2005.

L. J. , The mathematics of sentence structure, American Mathematical Monthly, pp.154-170, 1958.

. G. Larsen-k and . Thomsen-b, A modal process logic, Proceedings. Third Annual Symposium on Logic in Computer Science, pp.203-210, 1988.

L. M. Steedman-m, A* ccg parsing with a supertag-factored model, Proceedings of the Conference on Empirical Methods in Natural Language Processin, 2014.

M. R. , Formal Philosophy : Selected Papers of Richard Montague. A Yale Paperbound, 1974.

M. , The Logic of Categorial Grammars : A Deductive Account of Natural Language Syntax and Semantics. FoLLI-LNCS, 2012.

R. J. , Quotient de spécifications pour la réutilisation de composants, 2007.

R. J. Badouel, E. Benveniste, A. Caillaud-b, and . Legay-a.-&-passerone-r, , 2010.

, A modal interface theory for component-based design, Fundamenta Informaticae, vol.108, issue.1-2, pp.119-149

S. D. Dubois, C. , and G. , From natural language requirements to formal specification using an ontology, IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), pp.755-760, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01378126

S. M. , The syntactic process, 2000.

V. J. , Parsing some constrained grammar formalisms, Comput. Linguist, vol.19, issue.4, pp.591-636, 1993.