SSFM
RESEARCH GROUP FOR SYSTEM SPECIFICATIONS AND FORMAL METHODS
Department of Computer Science
University of Pretoria
ssfm@cs.up.ac.zaPROTOTYPE SOFTWARE
We have made significant contributions to the ViSiDiA system|
Information about our newer prototypes will appear here soon|
Several old prototypes, no longer maintained, are not listed
on this web page any more|
Juan Hattingh in the year 2013 provided a new CASE tool with
which you can transform URDAD system specifications into the
dot-Net framework. Here you can watch a video, in which Juan
Hattingh explains the main features of his tool|
Also in 2013, Karl Zöller has presented a new version of our
language HexCAS, with with cellular automata simulations can
be programmed at a high level of abstraction. Click here for
downloading Zöller's software from "GitHub"|''
Quo facto quando orientur controversiae non magis disputatione
opus erit inter duos philosophos quam inter duos computistas/
Sufficiet enim calamos in manus sumere, sedereque ad abacos
et sibi mutuo (accito si placet amico) dicere: calculemus/
'' [Leibniz]