The Distributed Ontology, Model and Specification Language – DOL - Recent Trends in Algebraic Development Techniques
Conference Papers Year : 2017

The Distributed Ontology, Model and Specification Language – DOL

Abstract

Over the last decades, the WADT community has studied the formal specification of software (and hardware) in great detail [1, 9, 42].

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
433330_1_En_2_Chapter.pdf (200.13 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-01767463

Submitted on : Monday, April 16, 2018-11:34:35 AM

Last modification on : Monday, May 30, 2022-5:36:02 PM

Download

Dates and versions

hal-01767463 , version 1 (16-04-2018)

Licence

Attribution

Identifiers

Cite

Till Mossakowski. The Distributed Ontology, Model and Specification Language – DOL. 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.5-10, ⟨10.1007/978-3-319-72044-9_2⟩. ⟨hal-01767463⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG1-3 IFIP-WADT IFIP-LNCS-10644
48 View
177 Download

Altmetric

Share

More