Real Time Developer Studio (RTDS) tool for ... - PragmaDev

ePAPER READ

DOWNLOAD ePAPER

pragmadev.com

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

PragmaDev – Documentation generation

19/04/2010

TASTE an assert-project / ESA / Confidential

A document is

made of logical

publications

The generated documentation

RTF, OpenDocument, HTML, SGML

including table of content and index entries

A publication

Le langage SDL et son domaine d'emploi - PragmaDev

Real Time Developer Studio user's manual - PragmaDev

PragmaDev launches Real Time Developer Studio V1.0

PragmaDev – Positionning in Taste framework 19/04/2010 Matlab Continuous TASTE an assert-project / ESA / Confidential AADL ASN.1 ASN.1 Encoders / Decoders RTDS Scade Event driven Encoders / Decoders Synchronous 6

PragmaDev – Documentation generation 19/04/2010 TASTE an assert-project / ESA / Confidential A document is made of logical publications The generated documentation RTF, OpenDocument, HTML, SGML including table of content and index entries A publication 7

Page 1 and 2: 19/04/2010 TASTE an assert-project
Page 3 and 4: PragmaDev - Core technology Specifi
Page 5: PragmaDev - Modelling levels Inform
Page 9 and 10: PragmaDev - Code generation options
Page 11 and 12: PragmaDev - Model debugger Dependin
Page 13 and 14: PragmaDev - Model coverage • Grap
Page 15 and 16: PragmaDev - Model checking • Part
Page 17: PragmaDev - Conclusion 19/04/2010

Real Time Developer Studio (RTDS) tool for ... - PragmaDev

Create successful ePaper yourself

Delete template?

Save as template?