Formal specification of block libraries in dataflow languages
autor
Dieumegard, Arnaud
Toom, Andres
Pantel, Marc
vastutusandmed
Arnaud Dieumegard, Andres Toom, and Marc Pantel
allikas
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings
ilmumiskoht
[S.l.]
ilmumisaasta
2014
leheküljed
[10] p. : ill
konverentsi nimetus, aeg
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014, 5-7 February, 2014
konverentsi toimumispaik
Toulouse, France
märksõna
raaljuhtimine
juhtimissüsteemid
tarkvara
manussüsteemid
mudelipõhine tarkvaraarendus
programmeerimiskeeled
teegid (informaatika)
võtmesõna
model driven engineering
feature modeling
formal specification
software qualification
automatic code generation
Simulink
Scicos
Xcos
Why3
märkused
Bibliogr.: 8 ref
Teavikus puudub ilmumisaasta
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise