iSAQB Advanced Level Curriculum Formal Methods FM
This is copyrighted work.
This repository contains the curriculum Formal Methods. It is still in the early stages of development.
Create an issue, a merge- or pull-request
Clone the repository - including the submodule:
+
Via SSH:
git clone git@github.com:isaqb-org/curriculum-fm.git --recursive
Via HTTPS:
git clone https://github.com/isaqb-org/curriculum-fm.git --recursive-
Build the project with gradle (you need a locally installed JDK 17 or higher) via
./gradlew. -
Once the "BUILD SUCCESSFUL" is show, you can review the build result under
./build/
That will produce both pdf and html output in German (DE) and English (EN), unless you modify the configuration.
This repository is currently maintained by Mike Sperber and his team. It was forked from https://github.com/isaqb-org/advanced-template, so the contributors of that project basically contributed to this one, too.