semantics

KO | EN

gitlite — search

#python #llm #go #golang #android #machine-learning #deep-learning #macos #windows #awesome #vue #security #mcp #open-source

(★ 18)

The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation

semantics Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# KIELER Semantics

*Semantics* is part of the overarching [KIELER project](https://rtsys.informatik.uni-kiel.de/kieler/) and represents research on the semantics of modeling languages, especially synchronous languages, in combination with pragmatics-aware modeling techniques.
The focus is on Sequentially Constructive Charts (SCCharts), a successor of SyncCharts that is also synchronous state chart dialect but with sequentially constructive semantics.
See the [SCCharts wiki pages](https://github.com/kieler/semantics/wiki) for further information and detailed documentation.

The KIELER SCCharts tool provides a modeling environment for SCCharts, including specialized automatically generated graphical views, model-transformation-based compilation, and simulation.

### Installation
See the [Downloads wiki page](https://github.com/kieler/semantics/wiki/Downloads) or our quick start guide for [KIELER in Eclipse](https://github.com/kieler/semantics/wiki/quick-start-guide) or [KIELER in VS Code](https://github.com/kieler/semantics/wiki/vs-code-extensions).

### Related Publications
See [list of publication of the RTSYS group](https://www.rtsys.informatik.uni-kiel.de/en/publications).

### Development
If you want to run or develop the semantics code base, please follow the [developer Eclipse setup with Oomph](https://github.com/kieler/semantics/wiki/Developer-Eclipse-Setup-with-Oomph).

semantics

semantics Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

semantics

semantics Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README