2 papers
cs.LO2014
SROIQsigma is decidable
Jon Haël Brenas, Rachid Echahed, Martin Strecker
We consider a dynamic extension of the description logic . This means that interpretations could evolve thanks to some actions such as addition and/or deletion of…
cs.PL2010
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
L. Besnard, T. Gautier, J. Ouy +9
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language na…