Using Deep Ontologies in Formal Software Engineering-Reference-Cited by-同舟云学术

Using Deep Ontologies in Formal Software Engineering

Published:2023 Issue: Volume: Page:15-32
ISSN:0302-9743
Container-title:Rigorous State-Based Methods
language:
Short-container-title:

Author:

Brucker Achim D.^ORCID,Ait-Sadoune Idir^ORCID,Méric Nicolas^ORCID,Wolff Burkhart

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-33163-3_2

Reference22 articles.

1. Aehlig, K., Haftmann, F., Nipkow, T.: A compiled implementation of normalisation by evaluation. J. Funct. Program. 22(1), 9–30 (2012). https://doi.org/10.1017/S0956796812000019

2. Ameur, Y.A., Besnard, F., Girard, P., Pierra, G., Potier, J.: Formal specification and metaprogramming in the EXPRESS language. In: SEKE 1995, The 7th International Conference on Software Engineering and Knowledge Engineering, 22–24 June 1995, Rockville, Maryland, USA, pp. 181–188. Knowledge Systems Institute (1995)

3. de Recherche en Informatique et en Automatique, I.N.: The OCaml Manual - Release 5 (2022). https://v2.ocaml.org/manual/ocamldoc.html. Accessed 23 Feb 2023

4. Brucker, A.D., Ait-Sadoune, I., Crisafulli, P., Wolff, B.: Using the Isabelle ontology framework. In: Rabe, F., Farmer, W.M., Passmore, G.O., Youssef, A. (eds.) CICM 2018. LNCS (LNAI), vol. 11006, pp. 23–38. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96812-4_3.https://www.brucker.ch/bibliography/abstract/brucker.ea-isabelle-ontologies-2018

5. Brucker, A.D., Wolff, B.: Isabelle/DOF: design and implementation. In: Ölveczky, P.C., Salaün, G. (eds.) SEFM 2019. LNCS, vol. 11724, pp. 275–292. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30446-1_15. https://www.brucker.ch/bibliography/abstract/brucker.ea-isabelledof-2019