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 ,
Die syntaktische konnexität, Traduction française de, vol.1, pp.1-27, 1935. ,
Rudiments of [mu]-calculus. Studies in Logic and the Found, 2001. ,
Games for synthesis of controllers with partial observation, Theoretical Computer Science, vol.303, issue.1, pp.7-34, 2003. ,
A quasi-arithmetical notation for syntactic description, Language, vol.29, pp.47-58, 1953. ,
Contracts for system design, Foundations and Trends R in Electronic Design Automation, vol.12, issue.2-3, pp.124-400, 2018. ,
Open-domain semantic parsing with boxer, Proceedings of the 20th Nordic Conference of Computational Linguistics, pp.301-304, 2015. ,
Spécification d'exigences en langue naturelle, avec automates et logique. Master's thesis, 2016. ,
Mica : A Modal Interface Compositional Analysis Library, 2011. ,
Synthesis of synchronization skeletons for branching time temporal logic, Logic of programs : Workshop, vol.131, pp.244-263, 1981. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Trans. Program. Lang. Syst, vol.8, issue.2, pp.244-263, 1986. ,
Interface automata, SIGSOFT Softw. Eng. Notes, vol.26, issue.5, pp.109-120, 2001. ,
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
Patterns in property specifications for finite-state verification, Proceedings of the 21st International Conference on Software Engineering, ICSE '99, pp.411-420, 1999. ,
Specifying logic programs in controlled natural language, 1995. ,
,
La connexion syntaxique, Philosophia Scientiae, pp.11-13, 2007. ,
Specification and refinement of probabilistic processes, Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.266-277, 1991. ,
A theory of truth and semantic representation, Formal Methods in the Study of Language, vol.1, pp.277-322, 1981. ,
Real-time specification patterns, Proceedings of the 27th International Conference on Software Engineering, ICSE '05, pp.372-381, 2005. ,
The mathematics of sentence structure, American Mathematical Monthly, pp.154-170, 1958. ,
A modal process logic, Proceedings. Third Annual Symposium on Logic in Computer Science, pp.203-210, 1988. ,
A* ccg parsing with a supertag-factored model, Proceedings of the Conference on Empirical Methods in Natural Language Processin, 2014. ,
Formal Philosophy : Selected Papers of Richard Montague. A Yale Paperbound, 1974. ,
The Logic of Categorial Grammars : A Deductive Account of Natural Language Syntax and Semantics. FoLLI-LNCS, 2012. ,
Quotient de spécifications pour la réutilisation de composants, 2007. ,
, , 2010.
, A modal interface theory for component-based design, Fundamenta Informaticae, vol.108, issue.1-2, pp.119-149
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
The syntactic process, 2000. ,
Parsing some constrained grammar formalisms, Comput. Linguist, vol.19, issue.4, pp.591-636, 1993. ,