Formal specification of block libraries in dataflow languages
author
Dieumegard, Arnaud
Toom, Andres
Pantel, Marc
statement of authorship
Arnaud Dieumegard, Andres Toom, and Marc Pantel
source
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings
location of publication
[S.l.]
year of publication
2014
pages
[10] p. : ill
conference name, date
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014, 5-7 February, 2014
conference location
Toulouse, France
subject term
raaljuhtimine
juhtimissüsteemid
tarkvara
manussüsteemid
mudelipõhine tarkvaraarendus
programmeerimiskeeled
teegid (informaatika)
keyword
model driven engineering
feature modeling
formal specification
software qualification
automatic code generation
Simulink
Scicos
Xcos
Why3
notes
Bibliogr.: 8 ref
Teavikus puudub ilmumisaasta
TTÜ department
TTÜ Küberneetika Instituut
language
inglise