SSFM

RESEARCH GROUP FORSYSTEM SPECIFICATIONSANDFORMAL METHODS*

Department of Computer Science

University of Pretoria

SSFM@cs.up.ac.za

CURRENT MEMBERS

StefanGruner

JanKroeze

NilsTimm

and several postgraduate project students

TABLE OF CONTENTS

Recent Papers | Recent Editorials | Prototype Software

FORMAL METHODS

theoretical computer science in application|

development, and testing, of formal systems|

between theoretical and applied informatics|

FORMAL

with mathematical rigour|

with logical rigour|

METHOD

(Greekhodos), path, way|

(Greekmeta), toward something, behind, beyond|

scientific, objective, testable and repeatable|

SYSTEM

(Greeksystema), the composite, togetherness|

set of entities with non-arbitrary relations|

FORMAL SYSTEM

formal notation|

formal calculus|

NOTATION

well-defined language {syntax} for descriptions|

non-ambigous and lexically precise modelling|

CALCULUS

well-defined language [semantics] for reasoning|

tool-supported discovery of relevant properties|

deduction, derivation of logical conclusions|

rule-based relation among formal entities|

MOREOVER

We also contribute to science-philosophical discourses

concerning computing-science as a scholarly discipline|

We regard LEIBNIZ and FREGE as forefathers of our work|

Footnote

* The group was founded in August 2009 as research group for '