Changes for page PLDI'14 Artifact on SCCharts
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 38.1
edited by cmot
on 2014/07/06 23:07
on 2014/07/06 23:07
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Parent
-
... ... @@ -1,1 +1,1 @@ 1 -SCCharts (pre 1\.0) 1 +KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome - Content
-
... ... @@ -1,9 +1,9 @@ 1 -[[~[~[image:attach:SCCharts (pre 1.0)@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts (pre 1.0)@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:Command Line Compiler@commandlinecompiler2.png]][[doc:Command Line Compiler]](%%) [[image:attach:SCCharts (pre 1.0)@quickstart.png]][[doc:Quick Start Guide (pre 0\.13)]] 1 +[[~[~[image:attach:SCCharts (pre 1.0)@download.png~]~]>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/SCCharts#SCCharts-Downloads||shape="rect"]] [[~[~[image:attach:SCCharts (pre 1.0)@onlinecompiler.png~]~]>>url:http://www.sccharts.com||shape="rect"]] (% class="confluence-link" %)[[image:attach:KIELER.Command Line Compiler.WebHome@commandlinecompiler2.png]][[doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Command Line Compiler.WebHome]](%%) [[image:attach:SCCharts (pre 1.0)@quickstart.png]][[doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]] 2 2 3 3 4 4 5 5 {{info}} 6 -We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:Quick Start Guide (pre 0\.13)]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. 6 +We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. 7 7 {{/info}} 8 8 9 9 = Modeling SCCharts with KIELER – PLDI'14 Artifact = ... ... @@ -16,7 +16,7 @@ 16 16 17 17 3. Generate C Code. 18 18 19 -We will use a simple example here in order to illustrate the process. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts (pre 1\.0)]] and [[known limitations>>doc:SCCharts (pre 1\.0)]]. If you are interested in the source code you can find instruction how to download and compile it here: [[Getting Started>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Getting+Started||shape="rect"]]. 19 +We will use a simple example here in order to illustrate the process. Please refer to the SCCharts superpage for the [[project status>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]]. If you are interested in the source code you can find instruction how to download and compile it here: [[Getting Started>>url:http://rtsys.informatik.uni-kiel.de/confluence/display/KIELER/Getting+Started||shape="rect"]]. 20 20 21 21 See a list of the evaluated examples at the end. 22 22 ... ... @@ -68,12 +68,12 @@ 68 68 69 69 = 2. + 3. Model and Compile an SCChart = 70 70 71 -We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:Quick Start Guide (pre 0\.13)]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. 71 +We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).Quick Start Guide (pre 0\.13).WebHome]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. 72 72 73 73 74 74 75 75 = 4. Evaluated Examples = 76 76 77 -In the following, you find the examples used for evaluation. Be advised that there currently is no tool integrated evaluation possible. Please refer to the SCCharts superpage for the [[project status>>doc:SCCharts (pre 1\.0)]] and [[known limitations>>doc:SCCharts (pre 1\.0)]]. 77 +In the following, you find the examples used for evaluation. Be advised that there currently is no tool integrated evaluation possible. Please refer to the SCCharts superpage for the [[project status>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]] and [[known limitations>>doc:KIELER.Home.SCCharts.Previous Versions (Deprecated Documentation).SCCharts (pre 1\.0).WebHome]]. 78 78 79 -Find the list of Examples used for evaluation [[here>>doc:Examples]]. 79 +Find the list of Examples used for evaluation [[here>>doc:KIELER.Home.SCCharts.Examples.WebHome]].