iSAQB Advanced Level Curriculum Formal Methods FM

Status

This is copyrighted work.

Content

This repository contains the curriculum Formal Methods

How to contribute or participate

Note that initial development happens on the [dev branch](https://github.com/isaqb-org/curriculum-fm/tree/dev).

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

1. Build the project with gradle (you need a locally installed JDK 17 or higher) via ./gradlew.

2. 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.

Maintainers

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.

Licensing and Copyright

license-copyright/LICENSE.adoc