The Distributed Ontology, Model and Specification Language – DOL - Recent Trends in Algebraic Development Techniques Access content directly
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].
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)
Loading...

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⟩
38 View
162 Download

Altmetric

Share

Gmail Facebook X LinkedIn More