Merge pull request #8 from isaqb-org/rc1

RC1 release notes

CHANGELOG.md

@@ -1,12 +1,21 @@
 # Release Notes
-## New in 2020.7
-- Remove lots of old/unused stuff regarding remarks
-- Use Gradle Wrapper in GitHub Actions
-- Take document version from git tag
 
-## New in 2020.6
+## 2024.1 Release Candidate
 
-- CHANGELOG can be created from file
-- Use new and simplified release action
-- Update to latest Aciidoctor versions
-- Update to latest Gradle (7.5.1)
+This is a new curriculum in the iSAQB Advanced Series, approved by the
+Strategy Council in September 2023.
+
+The material was written by Michael Sperber, Lars Hupel, Adina
+Aniculaesei, Bianca Lutz, CHristina Zeller, and Klaus-Jörn Lange, with
+help by Mahbouba Gharbi,Gerrit Beine, Ulrich Becker, and Isabella
+Stilkerich.
+
+This curriculum intends to provide a collection of formal methods to
+supplement and replace the traditional architect's arsenal. These
+methods produce mathematical proofs of critical system properties. To
+enable the use of these methods, the architecture needs to be designed
+from the start to be amenable to such proof.
+
+Our hope is that this curriculum will lead to a renewed focus on
+formulating proper specifications, and ensuring that the software
+systems we build meet those requirements.