A collection of free educational resources related to concepts, languages, and tools I’ve used over the years, from all over the internet.
AADL
- In the Eclipse OSATE Help section, there is a very good description of the AADL Language. It is the first place I look to solve my questions, it completely discusses the semantics and syntax of the language elements.
- This cookbook is also great for industrial engineers wanting to use AADL.
EMF
- This tutorial is the starting point
Papyrus – SysML
- These videos are a good introduction to the use of Papyrus.
- This tutorial is also quiet good.
- You may use this guide, however it is not specific to Papyrus or general enough for SysML since it is specific to a tool, but still very useful.
Modelica
- This set of tutorials is fantastic.
- You can find an introduction to OMEdit in this assignment description.
- Hans’ presentation is also an excellent starting point.
Nix/OS
- Understanding running flakes from this blog post.
Lark
- This simplest tutorial about Lark that I keep coming back to.
Packaging in Python
LaTeX
- doi2bib.org to generate BibTex from DOIs.
Eclipse CAPRA
- The Help Contents, which are surprisingly not in the Eclipse Help Menu.
- This obscure documentation in the git repository.
Prolog
- This free online book.