X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/eb1aab372e720aaf68aef33d49f8b80950ff566c..77fd7e544b18af1616b5246d30117413640a4f0f:/mmath.m4
diff --git a/mmath.m4 b/mmath.m4
index 28c4138..e2fb23b 100644
--- a/mmath.m4
+++ b/mmath.m4
@@ -6,29 +6,31 @@ include(header.html)dnl
Master of Mathematics
-I graduated from the University of Waterloo with the degree of
-Master of Mathematics in Computer Science in Spring 2020. My research
-at the Waterloo Formal Methods
-group focused on formal logic, model checking, and verification; under
-supervision of
-Dr. Nancy A. Day.
+I graduated from the University of Waterloo with
+the degree of Master of Mathematics in Computer Science in Spring
+2020. My research at the Waterloo
+Formal Methods group focused on formal logic, model checking, and
+verification; under supervision of
+Prof. Nancy Day.
A Comprehensive Study of Declarative Modelling Languages
-
-
+dnl
+dnlJump to:
+dnlthesis |
+dnlpresentation |
+dnlmodels
Thesis
Reference version:
pdf |
-bib (coming soon)
-LaTeX sources:
-zip | tar.gz (coming soon)
+bib
+__latex sources:
+tar.gz |
+zip
-Abstract
+
+Abstract
Declarative behavioural modelling is a powerful modelling paradigm
that enables users to model system functionality abstractly and
@@ -67,13 +69,37 @@ may be most suited for modelling their system, we present
recommendations based on our observations about the differentiating
characteristics of each of these languages.
+
+
+
+License
+
+This thesis is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+This thesis is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with this thesis. If not, see <https://www.gnu.org/licenses/>.
+
+
+
+A copy of the GNU General Public License is available
+from gpl-3.0.html, as well as in
+the COPYING
file included in both of the __latex source
+archives linked above.
Presentation
Reference version:
pdf (coming soon)
-LaTeX sources:
-zip | tar.gz (coming soon)
+__latex sources:
+tar.gz | zip (coming soon)
This is the presentation I delivered to my supervisor and the
second readers of my thesis on Jun 30, 2020, as
@@ -83,7 +109,7 @@ on the Cheriton School of Computer Science website.
Models
Reference version:
-zip | tar.gz (coming soon)
+tar.gz | zip (coming soon)
define(__copy, `2020')dnl